cvc4-1.7_2.txz


Advertisement

Description

cvc4 - Automatic theorem prover for SMT (Satisfiability Modulo Theories)

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest i386
Package filename cvc4-1.7_2.txz
Package name cvc4
Package version 1.7
Package release 2
Package architecture i386
Package type txz
Category java math
Homepage https://cvc4.cs.stanford.edu/web/
License GPLv3
Maintainer greg@unrelenting.technology
Download size 7.06 MB
Installed size 36.58 MB
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.
WWW: https://cvc4.cs.stanford.edu/web/
Options:
- CRYPTOMINISAT: on
- JAVA: on
- PYTHON: on
- READLINE: on
- GMP: on
- CLN: off

Alternatives

Package Version Architecture Repository
cvc4-1.7_2.txz 1.7 amd64 FreeBSD Ports Latest
cvc4-1.7_2.txz 1.7 i386 FreeBSD Ports Quarterly
cvc4-1.7_2.txz 1.7 amd64 FreeBSD Ports Quarterly
cvc4 - - -

Requires

Name Value
boost-libs = 1.71.0
cryptominisat = 5.6.8_3
gmp = 6.1.2_1
libantlr3c = 3.4_1
libantlr3c.so -
libboost_atomic.so.1.71.0 -
libboost_chrono.so.1.71.0 -
libboost_date_time.so.1.71.0 -
libboost_thread.so.1.71.0 -
libcryptominisat5.so.5.6 -
libgmp.so.10 -
libpython3.6m.so.1.0 -
libreadline.so.8 -
readline = 8.0.0

Provides

Name Value
libcvc4.so.6 -
libcvc4parser.so.6 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package cvc4-1.7_2.txz
Source Package math/cvc4

Install Howto

Install cvc4 txz package:

# pkg install cvc4

See Also

Package Description
cvechecker-3.9.txz Check CVE database for vulnerabilities affecting installed packages
cvm-0.97.txz Credential Validation Modules
cvs+ipv6-1.20120905_3.txz IPv6 enabled cvs. You can use IPv6 connection when using pserver
cvs-1.20120905_6.txz Version control system
cvs-devel-1.12.13_13.txz IPv6 enabled cvs. You can use IPv6 connection when using pserver
cvs-syncmail-2.1.txz CVS notification tool
cvs2cl-2.73.txz CVS-log-message-to-ChangeLog conversion script
cvs2darcs-0.8_9.txz Convert CVS module to darcs repository
cvs2html-1.98_1.txz Perl script to turn ``cvs log'' output into HTML
cvs2svn-2.5.0_1.txz CVS to Subversion Repository Converter
cvsadmin-1.0.3_2.txz Simple program to administrate users of a CVS repository
cvsbook-1.21_3.txz Tutorial and reference for CVS
cvschangelogbuilder-2.5.txz Utility to generate changelogs and reports from a CVS repository
cvschk-1.12.txz Quick offline checker for CVS modifications
cvsd-1.0.24.txz CVS pserver daemon
Advertisement
Advertisement