Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- makeIPTests :: (MonadIO m, MonadIP v c o m) => (m () -> IO ()) -> Spec
- simpleMIPTest :: (MonadIO m, MonadIP v c o m) => m ()
Documentation
simpleMIPTest :: (MonadIO m, MonadIP v c o m) => m () Source #
We solve a simple MIP of the form
min x + y s.t. x >= 1.1 y >= 1.1 0 <= x <= 5 0 <= y <= 5 x integer
The optimal solution to this MIP is x = 2, y = 1.1.