toysolver-0.4.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Safe HaskellSafe
LanguageHaskell2010

ToySolver.Text.GurobiSol

Documentation

type Model = Map String Double Source #

render :: Model -> Maybe Double -> String Source #