notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
cvcl An automatic theorem prover for the SMT problem
2.5.1 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.5.1Version of this port present on the latest quarterly branch.
Deprecated DEPRECATED: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!
Expired This port expired on: 2007-06-30
Maintainer: lwhsu@FreeBSD.org search for ports maintained by this maintainer
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/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

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.
Dependency lines:
  • cvcl>0:math/cvcl
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.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
  2. bison : devel/bison
Library dependencies:
  1. 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:
Expand this list (2 items)
Collapse this list.
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.cs.nyu.edu/acsys/cvcl/download/
Collapse this list.

Number of commits found: 5

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.5.1
28 Jul 2007 16:41:28
Original commit files touched by this commit
chinsan search for other commits by this committer
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
Original commit files touched by this commit
lwhsu search for other commits by this committer
- 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
Original commit files touched by this commit
lwhsu search for other commits by this committer
- Change to my FreeBSD.org email

Approved by:     clsung (mentor)
2.5.1
28 Sep 2006 17:12:19
Original commit files touched by this commit
pav search for other commits by this committer
- 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
Original commit files touched by this commit
ijliao search for other commits by this committer
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