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

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.