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.

npm ci
npm run dev

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.

Name		Name	Last commit message	Last commit date
Latest commit History 108 Commits
.github/workflows		.github/workflows
public		public
src		src
.eslintrc.json		.eslintrc.json
.gitignore		.gitignore
.prettierignore		.prettierignore
LICENSE.md		LICENSE.md
README.md		README.md
jsconfig.json		jsconfig.json
next.config.mjs		next.config.mjs
package-lock.json		package-lock.json
package.json		package.json
postcss.config.js		postcss.config.js
prettier.config.js		prettier.config.js
tailwind.config.js		tailwind.config.js