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.
Jip J. Dekker

Jip J. Dekker

Monash University
Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.
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.
Andreas Schutt

Andreas Schutt

Data61
Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc challenge.
Mark Wallace

Mark Wallace

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

Kiana Zeighami

Monash University
Semi-automatic model improvement.

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.
Chris Mears

Chris Mears

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

Andrea Rendl

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

Maxim Shishmarev

Monash University
Constraint model debugging and profiling.