Graeme Gange

Graeme Gange

Monash University
graeme.gange@monash.edu
Compilation of MiniZinc, Lazy Clause Generation solvers.