pkgsrc.se | The NetBSD package collection

./wip/cvc3, Automatic theorem prover for SMT problems

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 2.2, Package name: cvc3-2.2, Maintainer: MarkoSchuetz

CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT)
problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in logical
theories and their combination.

Required to run:
[devel/gmp]

Required to build:
[pkgtools/cwrappers]

Master sites:

http://www.cs.nyu.edu/acsys/cvc3/releases/2.2/ (Download)

RMD160: 404c9e6d4dfb0d3e14448fcd8ad82a95b8ac8b30
Filesize: 1071.276 KB

Version history: (Expand)

(2024-09-19) Package has been reborn
(2024-09-15) Package deleted from pkgsrc
(2023-02-13) Package has been reborn
(2020-09-29) Package has been reborn
(2020-09-29) Package deleted from pkgsrc
(2020-01-02) Package has been reborn

CVS history: (Expand)

2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116)

Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.

2011-05-23 21:05:26 by Marko SchÃ¼tz Schmuck | Files touched by this commit (4)

Log message:
initial commit