Package spass-3.7-1
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.7/x86_64 | |||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | |||
10.5/powerpc | 3.7-1 | ||
| Description: | Theorem prover for first-order logic (3.7-1) | |
If you are interested in first-order logic theorem proving, the formal
analysis of software, systems, protocols, formal approaches to AI
planning, decision procedures, modal logic theorem proving, SPASS may
offer you the right functionality.
If you are interested in sex, drugs, rock'n roll or fish, even though
our logo contains a nice drawing of Opistognathus Latitabunda, you may
be disappointed by the performance of SPASS. | ||
| Section: | sci | |
| Maintainer: | Jesse Alama <jesseDOTalamaATgmailDOTcom> | |
| Website: | http://www.spass-prover.org/ | |
| License: | OSI-Approved | |
| Info-File: | dists/10.4/stable/main/finkinfo/sci/spass.info CVS log, Last Changed: Fri, 09 Mar 2012 16:57:47 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.