If you have any comments or questions related to Cornflower please feel free to e-mail us!
Static structural symmetry breaking is now available as an Ilog Solver extension.
Knapsack solver (C++) is now available.
Grammar constraint is now available as a standalone C++ application or as an Ilog Solver extension.
