Graeme Gange

Graeme Gange

Monash University
Compilation of MiniZinc, Lazy Clause Generation solvers.