The MiniZinc Website
This is the repository for the MiniZinc website.
Issues
If you find a problem with one of the website's pages, please open an issue in this repository.
Any issues with the MiniZinc documentation should be opened in the MiniZInc/libminizinc repository.
Development
npm ci
npm run dev
npm run dev
Building
npm run build
The BASE_PATH environment variable can be set to change the base path for URLs in case the website is being served from a subdirectory.