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
Port details on branch 2022Q4
cvc4 Automatic theorem prover for SMT (Satisfiability Modulo Theories)
1.7_6 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 1.7_6Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-10-09 20:51:07
Last Update: 2022-10-09 20:45:51
Commit Hash: 5103313
Also Listed In: java
License: GPLv3
WWW:
https://cvc4.cs.stanford.edu/web/
Description:
An efficient open-source 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.
Homepage    cgit ¦ Codeberg ¦ 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
Expand this list (118 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/cvc4-1.7_6/catalog.mk
  3. /usr/local/share/licenses/cvc4-1.7_6/LICENSE
  4. /usr/local/share/licenses/cvc4-1.7_6/GPLv3
  5. bin/cvc4
  6. bin/pcvc4
  7. include/cvc4/api/cvc4cpp.h
  8. include/cvc4/api/cvc4cppkind.h
  9. include/cvc4/base/configuration.h
  10. include/cvc4/base/exception.h
  11. include/cvc4/base/listener.h
  12. include/cvc4/base/modal_exception.h
  13. include/cvc4/context/cdhashmap_forward.h
  14. include/cvc4/context/cdhashset_forward.h
  15. include/cvc4/context/cdinsert_hashmap_forward.h
  16. include/cvc4/context/cdlist_forward.h
  17. include/cvc4/cvc4.h
  18. include/cvc4/cvc4_public.h
  19. include/cvc4/cvc4parser_public.h
  20. include/cvc4/expr/array.h
  21. include/cvc4/expr/array_store_all.h
  22. include/cvc4/expr/ascription_type.h
  23. include/cvc4/expr/chain.h
  24. include/cvc4/expr/datatype.h
  25. include/cvc4/expr/emptyset.h
  26. include/cvc4/expr/expr.h
  27. include/cvc4/expr/expr_iomanip.h
  28. include/cvc4/expr/expr_manager.h
  29. include/cvc4/expr/expr_stream.h
  30. include/cvc4/expr/kind.h
  31. include/cvc4/expr/pickler.h
  32. include/cvc4/expr/record.h
  33. include/cvc4/expr/symbol_table.h
  34. include/cvc4/expr/type.h
  35. include/cvc4/expr/uninterpreted_constant.h
  36. include/cvc4/expr/variable_type_map.h
  37. include/cvc4/options/argument_extender.h
  38. include/cvc4/options/arith_heuristic_pivot_rule.h
  39. include/cvc4/options/arith_propagation_mode.h
  40. include/cvc4/options/arith_unate_lemma_mode.h
  41. include/cvc4/options/datatypes_modes.h
  42. include/cvc4/options/language.h
  43. include/cvc4/options/option_exception.h
  44. include/cvc4/options/options.h
  45. include/cvc4/options/printer_modes.h
  46. include/cvc4/options/quantifiers_modes.h
  47. include/cvc4/options/set_language.h
  48. include/cvc4/options/smt_modes.h
  49. include/cvc4/options/sygus_out_mode.h
  50. include/cvc4/options/theoryof_mode.h
  51. include/cvc4/parser/input.h
  52. include/cvc4/parser/parser.h
  53. include/cvc4/parser/parser_builder.h
  54. include/cvc4/parser/parser_exception.h
  55. include/cvc4/printer/sygus_print_callback.h
  56. include/cvc4/proof/unsat_core.h
  57. include/cvc4/smt/command.h
  58. include/cvc4/smt/logic_exception.h
  59. include/cvc4/smt/smt_engine.h
  60. include/cvc4/smt_util/lemma_channels.h
  61. include/cvc4/smt_util/lemma_input_channel.h
  62. include/cvc4/smt_util/lemma_output_channel.h
  63. include/cvc4/theory/logic_info.h
  64. include/cvc4/util/abstract_value.h
  65. include/cvc4/util/bitvector.h
  66. include/cvc4/util/bool.h
  67. include/cvc4/util/cardinality.h
  68. include/cvc4/util/channel.h
  69. include/cvc4/util/divisible.h
  70. include/cvc4/util/floatingpoint.h
  71. include/cvc4/util/gmp_util.h
  72. include/cvc4/util/hash.h
  73. include/cvc4/util/integer.h
  74. include/cvc4/util/integer_cln_imp.h
  75. include/cvc4/util/integer_gmp_imp.h
  76. include/cvc4/util/maybe.h
  77. include/cvc4/util/proof.h
  78. include/cvc4/util/rational.h
  79. include/cvc4/util/rational_cln_imp.h
  80. include/cvc4/util/rational_gmp_imp.h
  81. include/cvc4/util/regexp.h
  82. include/cvc4/util/resource_manager.h
  83. include/cvc4/util/result.h
  84. include/cvc4/util/sexpr.h
  85. include/cvc4/util/statistics.h
  86. include/cvc4/util/tuple.h
  87. include/cvc4/util/unsafe_interrupt_exception.h
  88. lib/libcvc4.so
  89. lib/libcvc4.so.6
  90. lib/libcvc4jni.so
  91. lib/libcvc4parser.so
  92. lib/libcvc4parser.so.6
  93. lib/python3.9/site-packages/CVC4.py
  94. lib/python3.9/site-packages/_CVC4.so
  95. share/cvc4/drat.plf
  96. share/cvc4/er.plf
  97. share/cvc4/lrat.plf
  98. share/cvc4/sat.plf
  99. share/cvc4/smt.plf
  100. share/cvc4/th_arrays.plf
  101. share/cvc4/th_base.plf
  102. share/cvc4/th_bv.plf
  103. share/cvc4/th_bv_bitblast.plf
  104. share/cvc4/th_bv_rewrites.plf
  105. share/cvc4/th_int.plf
  106. share/cvc4/th_real.plf
  107. share/java/cvc4/CVC4-1.7.0.jar
  108. share/java/cvc4/CVC4.jar
  109. man/man1/cvc4.1.gz
  110. man/man1/pcvc4.1.gz
  111. man/man3/SmtEngine.3cvc.gz
  112. man/man3/libcvc4.3.gz
  113. man/man3/libcvc4parser.3.gz
  114. man/man3/options.3cvc.gz
  115. man/man5/cvc4.5.gz
  116. @owner
  117. @group
  118. @mode
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • cvc4>0:math/cvc4
To install the port:
cd /usr/ports/math/cvc4/ && make install clean
To add the package, run one of these commands:
  • pkg install math/cvc4
  • pkg install cvc4
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: cvc4
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1559856275 SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7 SIZE (antlr-3.4-complete.jar) = 2388361

Expand this list (4 items)

Collapse this list.

SHA256 (CVC4-CVC4-1.7_GH0.tar.gz) = 9864a364a0076ef7ff63a46cdbc69cbe6568604149626338598d4df7788f8c2e SIZE (CVC4-CVC4-1.7_GH0.tar.gz) = 6969953 SHA256 (fc8907afc08d.patch) = b14fe811a91152d9311a48e1c198c82fc55febf0c76c6c8fab6c9d6f0addeb3f SIZE (fc8907afc08d.patch) = 1154

Collapse this list.

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: pkg-fallout
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. swig : devel/swig
  3. swig : devel/swig
  4. java : java/openjdk8
  5. cmake : devel/cmake-core
  6. ninja : devel/ninja
  7. pkgconf>=1.3.0_1 : devel/pkgconf
  8. python3.9 : lang/python39
Library dependencies:
  1. libantlr3c.so : devel/libantlr3c
  2. libboost_system.so : devel/boost-libs
  3. libcryptominisat5.so : math/cryptominisat
  4. libgmp.so : math/gmp
  5. libboost_thread.so : devel/boost-libs
  6. libreadline.so.8 : devel/readline
This port is required by:
for Libraries
  1. lang/maude
Configuration Options:
===> The following configuration options are available for cvc4-1.7_6: CRYPTOMINISAT=on: Use CryptoMiniSat as the SAT solver JAVA=on: Java platform support PYTHON=on: Python bindings or support READLINE=on: Command line editing via libreadline ====> Options available for the radio NUMLIB: you can only select none or one of them GMP=on: Use GMP numeric library CLN=off: Use CLN numeric library (disables portfolio mode) ===> Use 'make config' to modify these settings
Options name:
math_cvc4
USES:
cmake ncurses compiler:c++17-lang pkgconfig python:3.5+,build shebangfix readline
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/CVC4/CVC4/tar.gz/1.7?dummy=/
Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.7_6
09 Oct 2022 20:45:51
commit hash: 5103313b3b0927a684615be3be7a6953283e92dfcommit hash: 5103313b3b0927a684615be3be7a6953283e92dfcommit hash: 5103313b3b0927a684615be3be7a6953283e92dfcommit hash: 5103313b3b0927a684615be3be7a6953283e92df files touched by this commit		 Fernando Apesteguía (fernape) search for other commits by this committer 
*/*: Release ports from maintainership

Maintainer releases all his ports.

PR:		266871
Reported by:	unrelentingtech <greg@unrelenting.technology>

(cherry picked from commit f57221afde929c42521a9325c8e6416e2e400178)

Note deskutils/iconbrowser from the original commit was not in 2022Q4, but
deskutils/lookbook was.

Number of commits found: 1
Login
User Login
Create account

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

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
firefoxApr 17
firefox-esrApr 17
py-dj52-strawberry-graphqlApr 17
py-strawberry-graphqlApr 17
thunderbirdApr 17
thunderbird-esrApr 17
chromiumApr 16
ungoogled-chromiumApr 16
php-composerApr 14
xorg-serverApr 14
python310Apr 13
python310Apr 13
python311Apr 13
python311Apr 13
python312Apr 13

27 vulnerabilities affecting 346 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-04-17 12:25:19 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34347
Broken 97
Deprecated 177
Ignore 214
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 37
Expired 9
Set to expire 105
Interactive 0
new 24 hours 7
new 48 hours10
new 7 days28
new fortnight87
new month228
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.