ToySolver.Text.QDimacs

data QDimacs

data Quantifier

type QuantSet

type Atom

type Lit

type Clause

parseFile

parseByteString