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

Monash University
Design of the MiniZinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching Basic Modeling for Discrete Optimization (and other MOOCs).

Current members

Jip J. Dekker

Jip J. Dekker

Monash University
Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.
Alexander J. Ek

Alexander J. Ek

Monash University
Online and fair optimisation in MiniZinc.
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.
Jason Nguyen

Jason Nguyen

Monash University
Software engineer, development and maintenance of the MiniZinc tool chain.
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.

Former members

Ignasi Abio

Ignasi Abio

NICTA
Automatic translation to SAT.
Gleb Belov

Gleb Belov

Monash University
Linearisation, MIP solver interfaces, systematic testing and benchmarking.
Carleton Coffrin

Carleton Coffrin

Data61
Linear and non-linear solvers, developing and teaching Modeling Discrete Optimization.
Graeme Gange

Graeme Gange

Monash University
Compilation of MiniZinc, Lazy Clause Generation solvers.
David Hemmi

David Hemmi

Monash University
Stochastic MiniZinc, efficient algorithms for stochastic combinatorial problems.
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.
Kiana Zeighami

Kiana Zeighami

Monash University
Semi-automatic model improvement.