Path to this page:
./
wip/prover9,
Prover9 is an automated theorem prover
Branch: CURRENT,
Version: 11A,
Package name: prover9-2009-11A,
Maintainer: pouyaThis package includes Prover9, an automated theorem prover
for first-order and equational logic, and Mace4, which
searches for finite models and counter examples.
Required to run:[
lang/python37]
Required to build:[
pkgtools/cwrappers]
Master sites:
RMD160: b4b1af8af6b7bdd7c1f286789a1e16e38589590e
Filesize: 1753.662 KB
Version history: (Expand)
- (2024-09-19) Package has been reborn
- (2024-09-15) Package deleted from pkgsrc
- (2023-02-13) Package has been reborn
- (2020-09-29) Package has been reborn
- (2020-09-29) Package deleted from pkgsrc
- (2020-01-02) Package has been reborn
CVS history: (Expand)