| Port details |
- cvcl An automatic theorem prover for the SMT problem
- 2.5.1 math
 =0      2.5.1Version of this port present on the latest quarterly branch.  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
- Maintainer: lwhsu@FreeBSD.org
- Port Added: 2006-09-20 02:11:35
- Last Update: 2007-07-28 16:41:28
- SVN Revision: UNKNOWN
- License: not specified in port
- WWW:
- http://www.cs.nyu.edu/acsys/cvcl/
- Description:
- 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/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: cvcl
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake : devel/gmake
- bison : devel/bison
- Library dependencies:
-
- gmp : math/libgmp4
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 5
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.5.1
28 Jul 2007 16:41:28
  |
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! |
2.5.1
01 Jun 2007 14:35:25
|
lwhsu |
- Mark BROKEN for gcc 4.2
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30 |
2.5.1
04 Apr 2007 08:49:31
|
lwhsu |
- Change to my FreeBSD.org email
Approved by: clsung (mentor) |
2.5.1
28 Sep 2006 17:12:19
|
pav |
- Fix build on amd64
- Respect CXXFLAGS
PR: ports/103768
Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer) |
2.5.1
20 Sep 2006 01:42:03
|
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
|
As an Amazon Associate I earn from qualifying purchases.