./wip/prover9, Prover9 is an automated theorem prover

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 11A, Package name: prover9-2009-11A, Maintainer: pouya

This 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:

SHA1: 0b30a80f36512c0958b0e77ce18d0d8056e33bb1
RMD160: b4b1af8af6b7bdd7c1f286789a1e16e38589590e
Filesize: 1753.662 KB

Version history: (Expand)


CVS history: (Expand)


   2012-10-05 15:52:02 by Aleksej Saushev | Files touched by this commit (32)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2011-01-16 18:20:53 by Pouya Tafti | Files touched by this commit (6)
Log message:
Clean up patches and remove subshells.
   2011-01-08 13:36:33 by Aleksej Saushev | Files touched by this commit (1)
Log message:
Define TEST_TARGET.
   2011-01-08 13:32:05 by Aleksej Saushev | Files touched by this commit (1)
Log message:
Drop "local" category.
Remove USE_TOOLS, it shouldn't be needed.
Sort variables to follow documented style.
   2011-01-07 17:56:46 by Pouya Tafti | Files touched by this commit (11) | Imported package
Log message:
Import prover9-2009-11A as wip/prover9.

This package includes Prover9, an automated theorem prover
for first-order and equational logic, and Mace4, which
searches for finite models and counter examples.