5 projects
pindakaas
Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction
minizinc
Access MiniZinc directly from Python
huub
Add your description here
mzn-bench
SLURM scheduling functionality and a collection of scripts to process the resulting data
mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
