Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/cvc4

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/cvc4

Or alternatively:

emerge --autounmask-write -a sci-mathematics/cvc4

Package Information

Description:

CVC4 is 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:

https://cvc4.github.io/

License:

GPL-2

Versions

Metadata

Description

• CVC4 is 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.

Maintainers

• Tupone Alfredo (tupone@gentoo.org) - Type: person

Upstream

• Remote IDs:
  • github: CVC4/CVC4-archived

<pkgmetadata>
	<maintainer type="person">
		<email>tupone@gentoo.org</email>
		<name>Tupone Alfredo</name>
	</maintainer>
	<longdescription lang="en">
		CVC4 is 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.
	</longdescription>
	<use>
		<flag name="cln">Use <pkg>sci-libs/cln</pkg></flag>
		<flag name="statistics">Include statistics</flag>
		<flag name="proofs">Support for proof generation</flag>
	</use>
	<upstream>
		<remote-id type="github">CVC4/CVC4-archived</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] USE flag 'readline' in ebuild 1.8-r7 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild cvc4-1.8-r7

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/cvc4 | euse -E <flag> -p sci-mathematics/cvc4 | euse -D <flag> -p sci-mathematics/cvc4

Files

• cvc4-1.8-bash-5.2-fix.patch
• cvc4-1.8-cmake4.patch
• cvc4-1.8-destdir.patch
• cvc4-1.8-gentoo.patch
• cvc4-1.8-gnuinstalldirs.patch
• cvc4-1.8-musl.patch
• cvc4-1.8-size_t.patch
• cvc4-1.8-toml.patch

Manifest