FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
cvc3 Automatic theorem prover for the SMT problem
2.4.1 math 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
Maintainer: lwhsu@FreeBSD.org search for ports maintained by this maintainer
Port Added: 25 Mar 2007 04:06:19
License: not specified in port
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT)
problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in logical
theories and their combination.

CVC3 is the last offspring of a series of popular SMT provers, which originated
at Stanford University with the SVC system. In particular, it builds on the
code base of CVC Lite, its most recent predecessor. Its high level design
follows that of the Sammy prover.

CVC3 works with a version of first-order logic with polymorphic types and has
a wide variety of features including:
  * several built-in base theories: rational and integer linear arithmetic,
    arrays, tuples, records, inductive data types, bit vectors, and equality
    over uninterpreted function symbols;
  * support for quantifiers;
  * an interactive text-based interface;
  * a rich C and C++ API for embedding in other systems;
  * proof and model generation abilities;
  * predicate subtyping;
  * essentially no limit on its use for research or commercial purposes
    (see license).

WWW: http://www.cs.nyu.edu/acsys/cvc3/
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/cvc3/ && make install clean
To add the package: pkg install cvc3

PKGNAME: cvc3


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

Build dependencies:
  1. bison : devel/bison
  2. gmake : devel/gmake
  3. gcc48 : lang/gcc
  4. as : devel/binutils
  5. perl5>=5.20<5.21 : lang/perl5.20
Runtime dependencies:
  1. gcc48 : lang/gcc
  2. perl5>=5.20<5.21 : lang/perl5.20
Library dependencies:
  1. libgmp.so : math/gmp
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
bison gmake perl5

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
23 May 2016 18:36:52
Original commit files touched by this commit  2.4.1
Revision:415738
amdmi3 search for other commits by this committer
Convert tab after WWW: in pkg-descrs to single space as per PHB

Approved by:	portmgr blanket
19 May 2016 10:44:12
Original commit files touched by this commit  2.4.1
Revision:415499
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
01 Apr 2016 14:16:20
Original commit files touched by this commit  2.4.1
Revision:412348
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
13 Nov 2014 23:24:01
Original commit files touched by this commit  2.4.1
Revision:372546
antoine search for other commits by this committer
Cleanup plist
16 Jul 2014 03:25:08
Original commit files touched by this commit  2.4.1
Revision:362025
vanilla search for other commits by this committer
Stagify.

Approved by:	lwhsu@ (maintainer)
13 Jul 2014 23:36:40
Original commit files touched by this commit  2.4.1
Revision:361728
bapt search for other commits by this committer
Modernize LIB_DEPENDS

With hat:	portmgr
07 Jul 2014 15:31:02
Original commit files touched by this commit  2.4.1
Revision:361099
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
13 Nov 2013 15:55:10
Original commit files touched by this commit  2.4.1
Revision:333703
lwhsu search for other commits by this committer
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
20 Sep 2013 20:55:06
Original commit files touched by this commit  2.4.1
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
16 Sep 2013 16:32:07
Original commit files touched by this commit  2.4.1
Revision:327411
bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
08 Mar 2013 11:32:12
Original commit files touched by this commit  2.4.1
Revision:313635
bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
04 Feb 2012 14:37:52
Original commit files touched by this commit  2.4.1
lwhsu search for other commits by this committer
- Update to 2.4.1
20 Mar 2011 12:54:45
Original commit files touched by this commit  1.2.1_3
miwi search for other commits by this committer
- Get Rid MD5 support
19 Apr 2010 10:43:43
Original commit files touched by this commit  1.2.1_3
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
13 May 2009 09:46:02
Original commit files touched by this commit  1.2.1_2
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
17 Oct 2007 10:13:01
Original commit files touched by this commit  1.2.1_1
ade search for other commits by this committer
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
07 Sep 2007 22:54:09
Original commit files touched by this commit  1.2.1
lwhsu search for other commits by this committer
- Update to 1.2.1
04 Apr 2007 08:49:31
Original commit files touched by this commit  1.0
lwhsu search for other commits by this committer
- Change to my FreeBSD.org email

Approved by:     clsung (mentor)
25 Mar 2007 04:04:31
Original commit files touched by this commit  1.0
clsung search for other commits by this committer
Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>

Number of commits found: 19

Login
User Login
Create account

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

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
php55May 28
php55-gdMay 28
php55-pharMay 28
php56May 28
php56-gdMay 28
php70-gdMay 28
php70-intlMay 28
mediawiki123May 24
mediawiki124May 24
mediawiki125May 24
mediawiki126May 24
expat2May 20
wpa_supplicantMay 20
bugzilla44May 17
bugzilla50May 17

6 vulnerabilities affecting 19 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 26074
Broken 287
Deprecated 60
Ignore 553
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 52
Expired 18
Set to expire 48
Interactive 0
new 24 hours 7
new 48 hours9
new 7 days25
new fortnight69
new month120

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.