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

Required to build:

Master sites:

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