cvc3 2.4.1 math =0

An automatic theorem prover for the SMT problem
Maintained by: lwhsu@FreeBSD.org
Port Added: 25 Mar 2007 04:06:19
License: not specified in port

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.

CVC3 is the last offspring of a series of popular SMT provers, which originated
at Stanford University with the SVC system. In particular, it builds on the
code base of CVC Lite, its most recent predecessor. Its high level design
follows that of the Sammy prover.

CVC3 works with a version of first-order logic with polymorphic types and has
a wide variety of features including:
  * several built-in base theories: rational and integer linear arithmetic,
    arrays, tuples, records, inductive data types, bit vectors, and equality
    over uninterpreted function symbols;
  * support for quantifiers;
  * an interactive text-based interface;
  * a rich C and C++ API for embedding in other systems;
  * proof and model generation abilities;
  * predicate subtyping;
  * essentially no limit on its use for research or commercial purposes
    (see license). 

WWW:	http://www.cs.nyu.edu/acsys/cvc3/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: devel/gmake, devel/bison, lang/perl5.8
Required To Run: lang/perl5.8
Required Libraries: math/gmp
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/math/cvc3/ && make install clean
To add the package: pkg_add -r cvc3

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- Update to 2.4.1

- Get Rid MD5 support

Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)

Chase libgmp and bump PORTREVISION.

Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs

- Update to 1.2.1

- Change to my FreeBSD.org email

Approved by:     clsung (mentor)

Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>

15 vulnerabilities affecting 34 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities