.gitignore
.gitlab-ci.yml
.readthedocs.yml
CHANGELOG.rst
LICENSE
Pipfile
Pipfile.lock
README.md
mypy.ini
pyproject.toml
setup.py
tox.ini
docs/advanced_usage.rst
docs/api.rst
docs/basic_usage.rst
docs/changelog.rst
docs/conf.py
docs/getting_started.rst
docs/index.rst
docs/library_structure.rst
docs/requirements.txt
docs/_static/minizinc.svg
src/minizinc/__init__.py
src/minizinc/driver.py
src/minizinc/dzn.py
src/minizinc/error.py
src/minizinc/helpers.py
src/minizinc/instance.py
src/minizinc/json.py
src/minizinc/model.py
src/minizinc/pygments.py
src/minizinc/result.py
src/minizinc/solver.py
src/minizinc.egg-info/PKG-INFO
src/minizinc.egg-info/SOURCES.txt
src/minizinc.egg-info/dependency_links.txt
src/minizinc.egg-info/entry_points.txt
src/minizinc.egg-info/requires.txt
src/minizinc.egg-info/top_level.txt
src/minizinc/API/__init__.py
src/minizinc/API/driver.py
src/minizinc/API/instance.py
src/minizinc/CLI/__init__.py
src/minizinc/CLI/driver.py
src/minizinc/CLI/instance.py
tests/Dockerfile
tests/build_docker.sh
tests/support.py
tests/test_dzn.py
tests/test_errors.py
tests/test_helpers.py
tests/test_init.py
tests/test_instance.py
tests/test_solver.py
tests/test_solving.py
tests/test_types.py