cvcl 2.5.1 math =0

DEPRECATED: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!
This port expired on: 2007-06-30
An automatic theorem prover for the SMT problem
Was Maintained by: lwhsu@FreeBSD.org
Port Added: 20 Sep 2006 03:11:35

---

---

CVC Lite is an automatic theorem prover for the Satisfiability Modulo
Theories (SMT) problem. Its features include: support for a variety of
theories; interactive as well as C and C++ library interfaces; proof and
model generation abilities; predicate subtyping; and suppport for quantifiers.
In addition, there are essentially no limits on its use for research or
commercial purposes (see license).

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

CVSWeb : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: devel/gmake, devel/bison
Required Libraries: math/libgmp4

---

No installation instructions: this port has been deleted.

The package name of this deleted port was: cvcl

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.cs.nyu.edu/acsys/cvcl/download/

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

• port deleted on 2007-07-28
  REASON: Has expired: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!
  

Remove deprecated port.
CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your
validity checking needs.

Approved by:    rafan (mentor, implicit), lwhsu (maintainer)

2007-06-30 math/cvcl: CVC Lite is no longer supported. Please use CVC3
(math/cvc3) for all your validity checking needs!

- Mark BROKEN for gcc 4.2
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30

- Change to my FreeBSD.org email

Approved by:     clsung (mentor)

- Fix build on amd64
- Respect CXXFLAGS

PR:             ports/103768
Submitted by:   Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer)

add cvcl 2.5.1
An automatic theorem prover for the SMT problem

PR:             103412
Submitted by:   Li-Wen Hsu <lwhsu@lwhsu.org>

2 vulnerabilities affecting 8 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities