The MiniZinc Team

Team leaders

Guido Tack

Guido Tack

Monash University
Design and implementation of MiniZinc, model analysis and transformation, generating efficient FlatZinc for a diverse range of solvers, making MiniZinc easy to use.
Peter J. Stuckey

Peter J. Stuckey

University of Melbourne
Design of the MiniZinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching Modeling Discrete Optimization.

Current members

Gleb Belov

Gleb Belov

Monash University
Linearisation, MIP solver interfaces, systematic testing and benchmarking.
Maria Garcia de la Banda

Maria Garcia de la Banda

Monash University
Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.
David Hemmi

David Hemmi

Monash University
Stochastic MiniZinc, efficient algorithms for stochastic combinatorial problems.
Kevin Leo

Kevin Leo

Monash University
Multi-pass compilation for MiniZinc, constraint solver interfaces, semi-automatic model improvement and debugging.
Chris Mears

Chris Mears

Opturion
Systematic testing, semi-automatic model improvement, symmetry detection and breaking, constraint model debugging and profiling.
Andreas Schutt

Andreas Schutt

Data61
Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc challenge.
Maxim Shishmarev

Maxim Shishmarev

Monash University
Constraint model debugging and profiling.
Mark Wallace

Mark Wallace

Monash University and Opturion
Industrial applications, language design, linear and hybrid solving approaches.

Former members

Ignasi Abio

Ignasi Abio

NICTA
Automatic translation to SAT.
Carleton Coffrin

Carleton Coffrin

Data61
Linear and non-linear solvers, developing and teaching Modeling Discrete Optimization.
Andrea Rendl

Andrea Rendl

NICTA
Model analysis and transformation, solver backends, stochastic MiniZinc, MiniSearch.