limp-0.3.2.2: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Solve.Branch.Simple

Description

The simplest, stupidest possible branch and bound algorithm.

Documentation

branch :: (Ord z, Ord r, Rep c) => (Program z r c -> Maybe (Assignment () (Either z r) c, R c)) -> Program z r c -> Maybe (Assignment z r c, R c) Source #

makeIntegral :: (Ord z, Ord r, Rep c) => Assignment () (Either z r) c -> Either (z, R c) (Assignment z r c) Source #