This is the API documentation for GAPT.
The main package is gapt.
gapt.provers
Congruence closure implementation closely following [1]
[1] R. Nieuwenhuis and A. Oliveras, Fast congruence closure and extensions, Information and Computation 205.4 (2007), 557-580.
This is the API documentation for GAPT.
The main package is gapt.