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

Portabilitynon-portable (ScopedTypeVariables)
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Algorithm.LPSolverHL

Description

High-Level API for LPSolver.hs

Synopsis

Documentation

data OptResult r Source

results of optimization

Constructors

OptUnsat 
Unbounded 
Optimum r (Model r) 

Instances

Eq r => Eq (OptResult r) 
Ord r => Ord (OptResult r) 
Show r => Show (OptResult r) 

minimize :: RealFrac r => Expr r -> [Atom r] -> OptResult rSource

maximize :: RealFrac r => Expr r -> [Atom r] -> OptResult rSource

optimize :: RealFrac r => OptDir -> Expr r -> [Atom r] -> OptResult rSource

solve :: RealFrac r => [Atom r] -> Maybe (Model r)Source