BDCS.Depsolve

data Formula a

data CNFLiteral a

data CNFAtom a

type CNFFormula a

type DepAssignment a

formulaToCNF

solveCNF