<div dir="ltr"><div>CBC source has many examples of usage as a callable library.</div><div><br></div>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<div>     </div><div>     array [TASKS] of var TASKS: x;<br></div><div>     constraint alldifferent( x );</div><div><br></div><div>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, ...)</div><div><br></div><div>It would be great to see MiniZinc in the list of front-ends on the CBC webpage.</div><div><br></div><div>Gleb<br></div><div><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr Gleb Belov       Monash University     
 +61 3 9903 1622<br>
</div></div></div></div></div></div></div></div></div></div>
</div></div>