Port details
cvcl An automatic theorem prover for the SMT problem
2.5.1 math Σ 2.5.1Version of this port present on the latest quarterly branch. Maintainer: lwhsu@FreeBSD.org Port Added: 2006-09-20 02:11:35Last Update: 2007-07-28 16:41:28SVN Revision: UNKNOWNLicense: not specified in portWWW: 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: 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 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 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 lwhsu - Change to my FreeBSD.org email
Approved by: clsung (mentor) 2.5.1 pav - Fix build on amd64
- Respect CXXFLAGS
PR: ports/103768
Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer) 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
