[Cbc] [FORGED] CBC with CLP Solver building model /vs mps file!

[Gleb Belov]

CBC source has many examples of usage as a callable library.

Another modeling language wrapping CBC is MiniZinc.org. This language
brings the modeling power of Constraint Programming to MIP. It allows
plugging of various CP, MIP, and SAT solvers for the same model. For
example, you can write

     array [TASKS] of var TASKS: x;
     constraint alldifferent( x );

and for MIP it will be translated into the standard assignment formulation.
MiniZinc has pre-defined decompositions for logical and set operations, as
well as a wealth of global constraints typical for CP (array element
access, lexicographical compare, min/max, subtour elimination, counting,
packing, ...)

It would be great to see MiniZinc in the list of front-ends on the CBC
webpage.

Gleb

-- 
Dr Gleb Belov       Monash University      +61 3 9903 1622
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170308/d3a4d0fe/attachment.html>