SPASS 3.7

SPASS is an automatic theorem prover for first-order logic with equality. It can be applied to the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, and modal logic theorem proving.

SRPMS

spass-3.7-1.fc21.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Mon Jan 20 16:25:14 MST 2014 by Jerry James