toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Converter.LP2SMT
Description
convert :: Options -> LP -> ShowSSource
data Options Source
Constructors
Fields
Instances
defaultOptions :: OptionsSource
data Language Source