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

Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.Text.GurobiSol

Documentation

type Model = Map String Double Source

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