GitHub / ai4reason / Prover9

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

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ai4reason%2FProver9
PURL: pkg:github/ai4reason/Prover9

Stars: 27
Forks: 8
Open issues: 1

License: gpl-2.0
Language: C
Size: 1.81 MB
Dependencies parsed at: Pending

Created at: almost 7 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago

Topics: computer-science, first-order-logic, logic, mathematics, model-checking, theorem-prover, theorem-proving

Loading...