Data.PseudoBoolean

Abstract Syntax

data Formula

type Constraint

data Op

data SoftFormula

type SoftConstraint

type Sum

type WeightedTerm

type Term

type Lit

type Var

Parsing OPB files

parseOPBString

parseOPBByteString

parseOPBFile

Parsing WBO files

parseWBOString

parseWBOByteString

parseWBOFile

Generating OPB files

toOPBString

toOPBByteString

writeOPBFile

hPutOPB

Generating WBO files

toWBOString

toWBOByteString

writeWBOFile

hPutWBO