Package

at.logic.gapt.provers

eqProver

Permalink

package eqProver

Visibility
  1. Public
  2. All

Value Members

  1. object EquationalProver extends Prover

    Permalink

    Use prover9 to get LK proof and Z3 or veriT for validity check.

Ungrouped