Jukebox.Clausify
data ClausifyFlags
clausifyFlags
clausify
split
clausForm
miniscope
forAll
forAllOr
removeEquiv
removeEquivAux
makeCopyable
removeExists
removeExpensiveOr
type Cost
unitCost
andCost
orCost
removeExpensiveOrAux
makeOr
cnf
cross
simplifyCNF
type M
run
skolemName
nextSk
withName
getName
skolem
literal