Sample tests
Validation tests
Graph2Mzn
Minizinc utils
Minizinc implementation