The MiniZinc Team

Team leaders

• 

  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

  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

• 

  Hendrik ‘Henk’ Bierlee

  Monash University

  The MiniZinc-SAT compiler, integer and single constant multiplication encodings for SAT.

• 

  Jason Nguyen

  Monash University

  Software engineer, development and maintenance of the MiniZinc tool chain, running the MiniZinc Challenge.

• 

  Jip J. Dekker

  Monash University

  Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.

• 

  Kevin Leo

  Monash University

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

• 

  Maria Garcia de la Banda

  Monash University

  Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.

Former members

• 

  Alexander J. Ek

  Monash University

  Online and fair optimisation in MiniZinc.

• 

  Andrea Rendl

  NICTA

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

• 

  Andreas Schutt

  Data61

  Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc Challenge.

• 

  Carleton Coffrin

  Data61

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

• 

  Chris Mears

  Opturion

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

• 

  David Hemmi

  Monash University

  Stochastic MiniZinc, efficient algorithms for stochastic combinatorial problems.

• 

  Gleb Belov

  Monash University

  Linearisation, MIP solver interfaces, systematic testing and benchmarking.

• 

  Graeme Gange

  Monash University

  Compilation of MiniZinc, Lazy Clause Generation solvers.

• 

  Ignasi Abio

  NICTA

  Automatic translation to SAT.

• 

  Kiana Zeighami

  Monash University

  Semi-automatic model improvement.

• 

  Mark Wallace

  Monash University and Opturion

  Industrial applications, language design, linear and hybrid solving approaches.

• 

  Maxim Shishmarev

  Monash University

  Constraint model debugging and profiling.