Toggle navigation
MiniZinc
Software
Resources
Team
Challenge
Playground
Discussions
Graeme Gange
Monash University
graeme.gange@monash.edu
Compilation of MiniZinc, Lazy Clause Generation solvers.