Package prover9-2009-11a-3
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.7/x86_64 | 2009-11a-3 | ||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | |||
10.5/powerpc | |||
| Description: | Prove theorems and build models (2009-11a-3) | |
Prover9 is an automated theorem prover for first-order and equational
logic, and Mace4 searches for finite models and
counterexamples. Prover9 is the successor of the Otter prover. | ||
| Section: | sci | |
| Maintainer: | Jesse Alama <jesseDOTalamaATgmailDOTcom> | |
| Website: | http://www.cs.unm.edu/~mccune/prover9 | |
| License: | OSI-Approved | |
| Info-File: | dists/10.7/stable/main/finkinfo/sci/prover9.info CVS log, Last Changed: Fri, 12 Aug 2011 14:05:35 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.