ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming - View it on GitHub