notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
Port details
cvc3 Automatic theorem prover for the SMT problem
2.4.1_7 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 View this port on Repology. pkg-fallout Version of this port present on the latest quarterly branch.
Maintainer: lwhsu@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2007-03-25 04:06:19
Last Update: 2022-07-20 14:22:24
Commit Hash: f53eb28
License: not specified in port
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (97 items)
Collapse this list.
  1. @ldconfig
  2. bin/cvc3
  3. include/cvc3/assumptions.h
  4. include/cvc3/c_interface.h
  5. include/cvc3/c_interface_defs.h
  6. include/cvc3/cdflags.h
  7. include/cvc3/cdlist.h
  8. include/cvc3/cdmap.h
  9. include/cvc3/cdmap_ordered.h
  10. include/cvc3/cdo.h
  11. include/cvc3/circuit.h
  12. include/cvc3/clause.h
  13. include/cvc3/cnf.h
  14. include/cvc3/cnf_manager.h
  15. include/cvc3/command_line_exception.h
  16. include/cvc3/command_line_flags.h
  17. include/cvc3/common_proof_rules.h
  18. include/cvc3/compat_hash_map.h
  19. include/cvc3/compat_hash_set.h
  20. include/cvc3/context.h
  21. include/cvc3/cvc_util.h
  22. include/cvc3/debug.h
  23. include/cvc3/dpllt.h
  24. include/cvc3/dpllt_basic.h
  25. include/cvc3/dpllt_minisat.h
  26. include/cvc3/eval_exception.h
  27. include/cvc3/exception.h
  28. include/cvc3/expr.h
  29. include/cvc3/expr_hash.h
  30. include/cvc3/expr_manager.h
  31. include/cvc3/expr_map.h
  32. include/cvc3/expr_op.h
  33. include/cvc3/expr_stream.h
  34. include/cvc3/expr_transform.h
  35. include/cvc3/expr_value.h
  36. include/cvc3/fdstream.h
  37. include/cvc3/formula_value.h
  38. include/cvc3/hash_fun.h
  39. include/cvc3/hash_map.h
  40. include/cvc3/hash_set.h
  41. include/cvc3/hash_table.h
  42. include/cvc3/kinds.h
  43. include/cvc3/lang.h
  44. include/cvc3/memory_manager.h
  45. include/cvc3/memory_manager_chunks.h
  46. include/cvc3/memory_manager_context.h
  47. include/cvc3/memory_manager_malloc.h
  48. include/cvc3/notifylist.h
  49. include/cvc3/os.h
  50. include/cvc3/parser.h
  51. include/cvc3/parser_exception.h
  52. include/cvc3/pretty_printer.h
  53. include/cvc3/proof.h
  54. include/cvc3/queryresult.h
  55. include/cvc3/rational.h
  56. include/cvc3/sat_api.h
  57. include/cvc3/search.h
  58. include/cvc3/search_fast.h
  59. include/cvc3/search_impl_base.h
  60. include/cvc3/search_sat.h
  61. include/cvc3/search_simple.h
  62. include/cvc3/smartcdo.h
  63. include/cvc3/smtlib_exception.h
  64. include/cvc3/sound_exception.h
  65. include/cvc3/statistics.h
  66. include/cvc3/theorem.h
  67. include/cvc3/theorem_manager.h
  68. include/cvc3/theorem_producer.h
  69. include/cvc3/theory.h
  70. include/cvc3/theory_arith.h
  71. include/cvc3/theory_arith3.h
  72. include/cvc3/theory_arith_new.h
  73. include/cvc3/theory_arith_old.h
  74. include/cvc3/theory_array.h
  75. include/cvc3/theory_bitvector.h
  76. include/cvc3/theory_core.h
  77. include/cvc3/theory_datatype.h
  78. include/cvc3/theory_datatype_lazy.h
  79. include/cvc3/theory_quant.h
  80. include/cvc3/theory_records.h
  81. include/cvc3/theory_simulate.h
  82. include/cvc3/theory_uf.h
  83. include/cvc3/translator.h
  84. include/cvc3/type.h
  85. include/cvc3/typecheck_exception.h
  86. include/cvc3/variable.h
  87. include/cvc3/vc.h
  88. include/cvc3/vc_cmd.h
  89. include/cvc3/vcl.h
  90. lib/libcvc3.so
  91. lib/libcvc3.so.5
  92. lib/libcvc3.so.5.0
  93. lib/libcvc3.so.5.0.0
  94. libdata/pkgconfig/cvc3.pc
  95. @owner
  96. @group
  97. @mode
Collapse this list.
Dependency lines:
  • cvc3>0:math/cvc3
To install the port:
cd /usr/ports/math/cvc3/ && make install clean
To add the package, run one of these commands:
  • pkg install math/cvc3
  • pkg install cvc3
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: cvc3
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
cvc3
ABIlatestquarterly
FreeBSD:11:aarch642.4.1_52.4.1_7
FreeBSD:11:amd642.4.1_72.4.1_7
FreeBSD:11:armv62.4.12.4.1_7
FreeBSD:11:i3862.4.1_72.4.1_7
FreeBSD:11:mips--
FreeBSD:11:mips642.4.1-
FreeBSD:12:aarch642.4.1_52.4.1_7
FreeBSD:12:amd642.4.1_72.4.1_7
FreeBSD:12:armv62.4.1_52.4.1_7
FreeBSD:12:armv72.4.1_52.4.1_7
FreeBSD:12:i3862.4.1_72.4.1_7
FreeBSD:12:mips--
FreeBSD:12:mips642.4.1_5-
FreeBSD:12:powerpc64-2.4.1_7
FreeBSD:13:aarch642.4.1_72.4.1_7
FreeBSD:13:amd642.4.1_72.4.1_7
FreeBSD:13:armv62.4.1_7-
FreeBSD:13:armv72.4.1_7-
FreeBSD:13:i3862.4.1_72.4.1_7
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc642.4.1_72.4.1_7
FreeBSD:14:aarch642.4.1_7-
FreeBSD:14:amd642.4.1_7-
FreeBSD:14:armv6--
FreeBSD:14:armv72.4.1_7-
FreeBSD:14:i3862.4.1_7-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc642.4.1_7-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bison : devel/bison
  2. gmake>=4.3 : devel/gmake
  3. gcc11 : lang/gcc11
  4. as : devel/binutils
  5. perl5>=5.32.r0<5.33 : lang/perl5.32
Runtime dependencies:
  1. gcc11 : lang/gcc11
  2. perl5>=5.32.r0<5.33 : lang/perl5.32
Library dependencies:
  1. libgmp.so : math/gmp
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/
Collapse this list.

Number of commits found: 32

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Jul 2022 14:22:24
 files touched by this commit commit hash:f53eb28489aa8f30712cd8772d1a0e05c394a5da  2.4.1_7
Tobias C. Berner (tcberner) search for other commits by this committer
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
(Only the first 15 lines of the commit message are shown above View all of this commit message)
04 Jun 2021 05:53:21
 files touched by this commit commit hash:d09ed096c44ca516f3e4922e292b4afabd03ff11  2.4.1_7
Gerald Pfeifer (gerald) search for other commits by this committer
*/*: Replace USE_GCC=any with USE_GCC=yes

USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).

Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.

This should not make any functional difference at all.

Discussed with:	mat, linimon, pkubaj
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  2.4.1_7
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
26 Jan 2021 13:59:25
Original commit files touched by this commit Revision:562665  2.4.1_7
sunpoet search for other commits by this committer
Fix build with bison 3.7.4

PR:		248911
Exp-run by:	antoine
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  2.4.1_7
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
12 Dec 2018 01:35:36
Original commit files touched by this commit Revision:487272  2.4.1_6
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
29 Jul 2018 22:18:46
Original commit files touched by this commit Revision:475857  2.4.1_5
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542
10 Mar 2018 17:46:06
Original commit files touched by this commit Revision:464084  2.4.1_4
gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
10 Sep 2017 20:55:39
Original commit files touched by this commit Revision:449591  2.4.1_3
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
01 Apr 2017 15:23:32
Original commit files touched by this commit Revision:437439  2.4.1_2
gerald search for other commits by this committer
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
11 Feb 2017 19:54:32
Original commit files touched by this commit Revision:433908  2.4.1_1
jbeich search for other commits by this committer
math/cvc3: unbreak with gcc6 or later

In file included from src/include/expr_manager.h:445:0,
                 from src/include/expr.h:803,
                 from expr.cpp:25:
src/include/expr_value.h: In static member function 'static size_t
CVC3::ExprString::hash(const string&)':
src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>)
(const char*)'
     return s_charHash(str.c_str());
                                  ^
In file included from src/include/hash_map.h:54:0,
                 from src/include/compat_hash_map.h:34,
                 from src/include/expr.h:33,
                 from src/include/assumptions.h:36,
                 from src/include/theorem_producer.h:75,
                 from common_theorem_producer.h:34,
                 from common_theorem_producer.cpp:27:
src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value,
_HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value
= std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem,
std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey =
std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const
CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>
>]':
src/include/hash_map.h:82:9:   required from 'CVC3::CDMap<Key, Data,
HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn =
std::hash<CVC3::Expr>]'
common_theorem_producer.h:60:38:   required from here
src/include/hash_table.h:319:5: error: use of deleted function
'std::hash<CVC3::Expr>::~hash()'
     }
     ^
20 Nov 2016 09:38:09
Original commit files touched by this commit Revision:426566  2.4.1_1
gerald search for other commits by this committer
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
21 Oct 2016 15:21:13
Original commit files touched by this commit Revision:424427  2.4.1
mat search for other commits by this committer
Use USES=pathfix where applicable.

PR:		213195
Submitted by:	mat
Exp-run by:	antoine
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D8093
23 May 2016 18:36:52
Original commit files touched by this commit Revision:415738  2.4.1
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 Revision:415499  2.4.1
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 Revision:412348  2.4.1
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 Revision:372546  2.4.1
antoine search for other commits by this committer
Cleanup plist
16 Jul 2014 03:25:08
Original commit files touched by this commit Revision:362025  2.4.1
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 Revision:361728  2.4.1
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 Revision:361099  2.4.1
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 Revision:333703  2.4.1
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 Revision:327746  2.4.1
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 Revision:327411  2.4.1
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 Revision:313635  2.4.1
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: 32