Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.openqed.tool.clausifier

Command line tool for converting FOF formulae to CNF formulae, optionally adding equality axioms.

See:
          Description

Class Summary
Clausifier Main class for launching the clausifier tool.
 

Package org.openqed.tool.clausifier Description

Command line tool for converting FOF formulae to CNF formulae, optionally adding equality axioms.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES