at
.
logic
.
gapt
.
provers
eqProver
package
eqProver
Visibility
Public
All
Value Members
object
EquationalProver
extends
Prover
Use prover9 to get LK proof and Z3 or veriT for validity check.
Ungrouped