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

Safe HaskellSafe-Inferred

Text.GurobiSol

Documentation

type Model = Map String DoubleSource

render :: Model -> Maybe Double -> StringSource