GitHub - kletzi/libminizinc: The MiniZinc compiler

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 4,404 Commits
cmake		cmake
include/minizinc		include/minizinc
interfaces/python		interfaces/python
lib		lib
share/minizinc		share/minizinc
solvers		solvers
tests		tests
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
CHANGES.txt		CHANGES.txt
CMakeLists.txt		CMakeLists.txt
LICENSE.txt		LICENSE.txt
README.txt		README.txt
minizinc.cpp		minizinc.cpp
mzn2doc.cpp		mzn2doc.cpp

Repository files navigation

MiniZinc
========

This package contains the MiniZinc constraint modelling
language and tool chain. 

For the full documentation, including installation and compilation
instructions, see http://minizinc.org/doc-latest/index.html.

** Bugs **

If you encounter any problems with MiniZinc, please use the MiniZinc discussion
forum https://www.minizinc.org/forum.html and the bug tracker at
https://github.com/MiniZinc/libminizinc/issues to report any issues or feature requests.