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

Portabilityportable
Stabilityexperimental
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Converter.LP2SMT

Description

 

Documentation

convert :: Options -> LP -> ShowSSource

data Options Source

Constructors

Options 

Fields

optLanguage :: Language
 
optCheckSAT :: Bool
 
optProduceModel :: Bool
 
optOptimize :: Bool
 

Instances

defaultOptions :: OptionsSource

data Language Source

Constructors

SMTLIB2 
YICES 

Instances