package preprocessing
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
class
TPTPClausifier
extends AnyRef
Created by vlad107 on 3/3/17.
Created by vlad107 on 3/3/17. Implementation of TPTP algorithm from here
Value Members
-
object
AddEqualityReasoningAxioms
Created by vlad107 on 7/12/17.
-
object
ClausesTo3CNF
Created by vlad107 on 7/12/17.