package congruence
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class Bigops extends AnyRef
- class CongruenceClosure extends AnyRef
- class SimpleSmtSolver extends OneShotProver
- case class acTheory(op: Const) extends Bigops with Product with Serializable
- case class unitTheory(op: Const, unit: Expr) extends Product with Serializable
Value Members
- object CongruenceClosure
- object SimpleSmtSolver extends SimpleSmtSolver
- object checkSmtConflict
This is the API documentation for GAPT.
The main package is at.logic.gapt.