Package: prover9

Upstream info
Summary: Thereom Prover and Countermodel Generator
Description:
URL: http://www.cs.unm.edu/~mccune/prover9/
Owner: tcolles (tcolles)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/prover9
Koschei: https://koschei.fedoraproject.org/package/prover9
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
EL-5 epel-stable 200805a-4.el5
f30 base 200911a-12.fc26
f29 base 200911a-12.fc26
f28 base 200911a-12.fc26
f27 base 200911a-12.fc26
f26 base 200911a-12.fc26
f25 base 200911a-11.fc24
f24 base 200911a-11.fc24
f23 base 200911a-10.fc23
f22 base 200911a-6.fc20
f21 base 200911a-6.fc20
f20 base 200911a-6.fc20
f19 base 200911a-5.fc19
f18 base 200911a-4.fc18
f17 base 200911a-3.fc17
f16 base 200911a-2.fc15
f15 base 200911a-2.fc15
f14 updates 200911a-1.fc14
  base 200805a-6.fc12
F-13 base 200805a-6.fc12
F-12 base 200805a-6.fc12
F-11 base 200805a-5.fc11
F-9 updates 200805a-4.fc9