Package Details: spass 3.9-1

Git Clone URL: (read-only)
Package Base: spass
Description: An Automated Theorem Prover for First-Order Logic with Equality.
Upstream URL:
Licenses: BSD 2-Clause
Submitter: eugenk
Maintainer: eugenk
Last Packager: eugenk
Votes: 1
Popularity: 0.126952
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: