Package Details: spass 3.9-1

Git Clone URL: https://aur.archlinux.org/spass.git (read-only)
Package Base: spass
Description: An Automated Theorem Prover for First-Order Logic with Equality.
Upstream URL: http://www.spass-prover.org/
Licenses: BSD 2-Clause
Submitter: eugenk
Maintainer: eugenk
Last Packager: eugenk
Votes: 1
Popularity: 0.380502
First Submitted: 2016-02-24 15:06
Last Updated: 2016-08-17 16:05

Dependencies (0)

Required by (4)

Sources (1)

Latest Comments

eugenk commented on 2016-08-17 16:06

Thanks, Airon90! And sorry for the long absence. I have updated this package now.

Airon90 commented on 2016-07-12 06:08

Moreover License is not GPL but 2-clause BSD

Airon90 commented on 2016-07-11 15:53

3.9 is out: http://www.spass-prover.org/download/sources/spass39.tgz