Math.Programming.Tests.IP

Documentation

makeIPTests

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 ()

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.