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

Queue position: None

sci-mathematics/cvc3

Description
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
Homepage
http://www.cs.nyu.edu/acsys/cvc3/index.html
Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
Version history
  • gentoo - sci-mathematics/cvc3-2.4.1-r1:0/2.4.1 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/cvc3-2.4.1:0/2.4.1 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo + sci-mathematics/cvc3-2.4.1-r1:0/2.4.1 [gentoo] - Oct. 31, 2016, 4:05 a.m.
  • gentoo + sci-mathematics/cvc3-2.4.1:0/2.4.1 [gentoo] - April 30, 2014, 7:51 a.m.
euscan log

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

 * SRC_URI is 'http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.gz'
 * Scanning: http://www.cs.nyu.edu/acsys/cvc3/releases/${PV}/cvc3-${PV}.tar.gz
 * Scanning: http://www.cs.nyu.edu/acsys/cvc3/releases
 * Generating version from 2.4.1
 * Brute forcing: http://www.cs.nyu.edu/acsys/cvc3/releases/${PV}/cvc3-${PV}.tar.gz
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.2/cvc3-2.4.2.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.3/cvc3-2.4.3.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.4/cvc3-2.4.4.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.5.0/cvc3-2.5.0.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.6.0/cvc3-2.6.0.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/2.7.0/cvc3-2.7.0.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/3.0.0/cvc3-3.0.0.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/4.0.0/cvc3-4.0.0.tar.gz ...       [ !! ]
 * Trying: http://www.cs.nyu.edu/acsys/cvc3/releases/5.0.0/cvc3-5.0.0.tar.gz ...       [ !! ]