Dpfs.DavisPutnamFiniteSets
data Atom
dpfs
dpfsAll
dpfsSat
dpfsSatAllSolutions
findTrueFalse
resolveTrueFalse
findSimilarAtomUnits
substituteSimilarUnits
findUnit'
resolveUnit
findPureLiteral
resolvePureLiteral
resolveUnitCalculus
findSimpRule3
resolveSimpRule3
findFalse_Calculus
resolveFalse_Calculus
findSimpUnitCalculus
resolveCalculus1
findSelection2
setSplit2
lookup'
setToInt
dpcnf
expectJust
toList'