Eventually I have also written a basic wrapper to the relatively new linear programming solver HiGHS based on the comfort-array types: https://hackage.haskell.org/package/highs-lp Warm start of the solver is supported by a monadic interface. The QuickCheck tests in coinor-clp and highs-lp already revealed several issues, that are now fixed in the latest commits, that is, COIN-OR/Clp:master and HiGHS:latest. Here is a Nix file for building the currently latest HiGHS commit: https://hub.darcs.net/thielema/highs-lp/browse/highs.nix For building master/HEAD of COIN-OR/Clp, you may find these Nix files useful: https://hub.darcs.net/thielema/coinor-clp/browse/nix