dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks software minizinc docs en
4 folders · 38 files
_static
_templates
examples
figures
api_interfacing.rst
basic_steps.rst
changelog.rst
checkers.rst
command_line.rst
conf.py
cpprofiler.rst
efficient.rst
find_mus.rst
flattening.rst
fzn-grammar.mzn
fzn-spec.rst
globalizer.rst
grammar.mzn
index.rst
installation_detailed_linux.rst
installation_detailed_wasm.rst
installation_detailed_windows.rst
installation_detailed.rst
installation.rst
intro.rst
jupyter.rst
Makefile
minizinc_ide.rst
modelling.rst
modelling2.rst
mzn_search.rst
optiontypes.rst
output.mzn
part_1_overview.rst
part_2_tutorial.rst
part_3_user_manual.rst
part_4_reference.rst
predicates.rst
python.rst
sat.rst
solvers.rst
spec.rst