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

Queue position: None

sci-mathematics/e

Description
E is a theorem prover for full first-order logic with equality
Homepage
http://www4.informatik.tu-muenchen.de/~schulz/E/E.html
Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
Version history
  • gentoo - sci-mathematics/e-1.8-r1:0/1.8 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/e-1.8:0/1.8 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo - sci-mathematics/e-1.6:0/1.6 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo - sci-mathematics/e-1.5:0/1.5 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo + sci-mathematics/e-1.8-r1:0/1.8 [gentoo] - Jan. 4, 2017, 4:05 a.m.
  • gentoo + sci-mathematics/e-1.8:0/1.8 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/e-1.6:0/1.6 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/e-1.5:0/1.5 [gentoo] - April 30, 2014, 7:51 a.m.
euscan log

Date: Sept. 14, 2019, 1:58 a.m.

 * SRC_URI is 'http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.3/E.tgz'
 * Scanning: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${PV}/E.tgz
 * Scanning: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD
 * Generating version from 2.3
 * Brute forcing: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${PV}/E.tgz
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz ...            [ !! ]
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.5/E.tgz ...            [ !! ]
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz ...            [ !! ]
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/E.tgz ...            [ !! ]
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_4.0/E.tgz ...            [ !! ]
 * Trying: http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_5.0/E.tgz ...            [ !! ]