/Prover9

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Primary LanguageCGNU General Public License v2.0GPL-2.0

Stargazers

No one’s star this repository yet.