Packages

p

org.aossie.scavenger

preprocessing

package preprocessing

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. 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

  1. object AddEqualityReasoningAxioms

    Created by vlad107 on 7/12/17.

  2. object ClausesTo3CNF

    Created by vlad107 on 7/12/17.

Ungrouped