I lead the design and implementation of the MiniZinc, constraint modelling language and tool chain. Version 2 of MiniZinc is based on a new open source C++ library that includes support for constraint model analysis, compilation, and interfacing with constraint solvers. MiniZinc


I am one of the designers and implementers of Gecode, an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications. Gecode


I was involved in the implementation of the G12 constraint programming platform at NICTA. NICTA


I was involved in design and implementation of parts of the virtual machine for Alice ML, a functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming. Alice


I have contributed to the Mozart programming system, a platform for constraint and distributed programming. My contributions are available in the MOGUL archive. Mozart

Guido Tack