math-programming-tests-0.3.0: Utility functions for testing implementations of the math-programming library.

Safe HaskellNone
LanguageHaskell2010

Math.Programming.Tests.IP

Synopsis

Documentation

makeIPTests Source #

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