toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Converter.PB2LSP
Description
pb2lsp :: Formula -> Builder Source #
wbo2lsp :: SoftFormula -> Builder Source #