./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:

SHA1: acb66f5237dc98e74da2d765d3c4d36ac3817151
RMD160: 404c9e6d4dfb0d3e14448fcd8ad82a95b8ac8b30
Filesize: 1071.276 KB

Version history: (Expand)


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