limp-cbc: bindings for integer linear programming solver Coin/CBC

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


Bindings to external solver, CBC. CBC is somewhat faster than GLPK, and also has a more permissive licence. Relies on coin/cbc version 2.8.6. This package has a few caveats: invalid programs can cause segfaults, and the library-based solver is slower than the command-line based one. See for details.

[Skip to ReadMe]


Change logchangelog
Dependenciesbase (<5), containers (>=0.5 && <0.7), limp (==, vector (>=0.10 && <0.13) [details]
AuthorAmos Robinson
Home page
Source repositoryhead: git clone git://
UploadedMon Nov 12 22:30:27 UTC 2018 by amosrobinson





Use the embedded Coin/CBC solver instead of linking to the installed one.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees

Readme for limp-cbc-

[back to package description]

Bindings to the Coin/CBC integer linear programming solver

This package provides bindings to the CBC library. These bindings work for simple programs, but might not be suitable for production use: see issues #7 and #8.

In some cases, you may be better off pretty-printing the program with Numeric.Limp.Canon.Pretty in the limp package, writing the resulting program to file, and passing it to the external program. I hope to update this library to solve via the external program soon.