dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks software minizinc docs es
5 folders · 20 files
_others
_static
_templates
examples
figures
conf.py
efficient.rst
flattening.rst
grammar.mzn
index.rst
installation.rst
intro.rst
Leeme.txt
Makefile
modelling.rst
modelling2.rst
mzn_search.rst
optiontypes.rst
output.mzn
part_1_introduction.rst
part_2_tutorial.rst
part_3_reference.rst
predicates.rst
sat.rst
spec.rst