A refresh request is in progress, please wait...

Queue position: None

sci-mathematics/spass

Description
An Automated Theorem Prover for First-Order Logic with Equality
Homepage
http://www.spass-prover.org/
Maintainers

Mark Wright <gienah@gentoo.org>

Gentoo Mathematics Project <sci-mathematics@gentoo.org>

Q&A
Version history
  • gentoo - sci-mathematics/spass-3.9:0/3.9 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/spass-3.7:0/3.7 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo + sci-mathematics/spass-3.9:0/3.9 [gentoo] - Jan. 4, 2017, 4:05 a.m.
  • gentoo + sci-mathematics/spass-3.7:0/3.7 [gentoo] - April 30, 2014, 7:52 a.m.
euscan log

Date: Sept. 14, 2019, 2:03 a.m.

 * SRC_URI is 'http://www.spass-prover.org/download/sources/spass39.tgz'
 * Url doesn't seems to depend on version: 3.9 not found in http://www.spass-prover.org/download/sources/spass39.tgz