FreshPorts -- math/cvcl

32b0 FreshPorts -- math/cvcl

If you buy from Amazon USA, please support us by using this link.

Blog
Twitter

Port details

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 02:11:35
License: not specified in port

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/

SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:

Required Libraries:

math/libgmp4

There are no ports dependent upon this port

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:

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
Date	By	Description
28 Jul 2007 16:41:28 2.5.1	chinsan	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!
01 Jun 2007 14:35:25 2.5.1	lwhsu	- Mark BROKEN for gcc 4.2 - Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3) - Set EXPIRATION_DATE to 2007-06-30
04 Apr 2007 08:49:31 2.5.1	lwhsu	- Change to my FreeBSD.org email Approved by: clsung (mentor)
28 Sep 2006 17:12:19 2.5.1	pav	- Fix build on amd64 - Respect CXXFLAGS PR: ports/103768 Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer)
20 Sep 2006 01:42:03 2.5.1	ijliao	add cvcl 2.5.1 An automatic theorem prover for the SMT problem PR: 103412 Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org>

Number of commits found: 5

283b

Login

User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

Search

more...

Latest Vulnerabilities

linux-f10-flashplugin10	May 16
linux-f10-flashplugin11	May 16
nginx^*	May 16
nginx-devel^*	May 16
firefox	May 15
firefox-devel	May 15
firefox-esr	May 15
firefox10	May 15
firefox15	May 15
firefox3	May 15
firefox3-devel	May 15
firefox35	May 15
firefox36	May 15
linux-firefox	May 15
linux-seamonkey	May 15

6 vulnerabilities affecting 28 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Ports

Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:

Port count	24517
Broken	219
Deprecated	472
Ignore	639
Forbidden	3
Restricted	292
No CDROM	109
Vulnerable	29
Expired	132
Set to expire	510
Interactive	33
new 24 hours	4
new 48 hours	7
new 7 days	34
new fortnight	74
new month	206

This site

What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

8e7

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD