Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.Programming.Tests.IP

Synopsis

Documentation

Arguments

:: (MonadIO m, MonadIP v c o m)
=> (m () -> IO ())	The runner for the API being tested.
-> Spec	The resulting test suite.

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.