Package

at.logic.gapt.provers

basicProver

Permalink

package basicProver

Visibility
  1. Public
  2. All

Value Members

  1. object BasicProver extends OneShotProver

    Permalink

    Uses our propositional prover to get LK proof andsat4j for validity check

Ungrouped