summaryrefslogtreecommitdiffstats
path: root/runtime/solvers/mzn
ModeNameSize
-rw-r--r--__init__.py770logstatsplain
-rw-r--r--mzn_solver.py3179logstatsplain