Jukebox.Tools.HornToUnit

data HornFlags

data Encoding

hornFlags

hornToUnit

passiviseClauses

eliminatePredicates

eliminateUnsuitableConjectures

eliminateHornClauses

encodeTypesSmartly

hasSizeOneModel