ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming