Automated builds of static libraries of coin-or CBC for compilation into MiniZinc.
Windows builds use Bakhazard's cmake adaptation of the mingw-w64 winpthreads library for parallel solving support. Unix-like builds use pthreads natively.
Automated builds of static libraries of coin-or CBC for compilation into MiniZinc.
Windows builds use Bakhazard's cmake adaptation of the mingw-w64 winpthreads library for parallel solving support. Unix-like builds use pthreads natively.