• MiniZinc-CMAES a stochastic optimization backend for the MiniZinc modelling language

  • ClpZinc is a modeling language for constraint programming and search strategies. ClpZinc extends Zinc with Horn clauses to express seach strategies, and compiles them in a constraint satisfaction problem. (ClpZinc subsumes Casper which was itself a complete re-design of Rules2CP a rule-based modelling language for constraint programming developed in the former Net-WMS project.)

  • Ibex a continuous constraint solver interfaced to Choco

  • Choco a Java library for constraint programming.

  • packing code for mixed shapes using CMA-ES and optionally CGAL.