Jukebox.Tools.HornToUnit

data HornFlags

hornFlags

hornToUnit

eliminatePredicates

eliminateUnsuitableConjectures

eliminateHornClauses