Math.Programming.Tests.IP

Documentation

makeIPTests

Arguments

:: (PrintfArg (Numeric m), RealFrac (Numeric m), MonadIO m, IPMonad m)

=> (m () -> IO ())

The runner for the API being tested.

-> TestTree

The resulting test suite.

simpleMIPTest :: (PrintfArg (Numeric m), RealFrac (Numeric m), MonadIO m, IPMonad 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.