Services » Browse Packages » sci-mathematics »
cvc4
| Description: | Automatic theorem prover for satisfiability modulo theories (SMT) problems |
|---|
| License: |
GPL-2
|
|---|
| Homepage: | |
|---|
| Location: | Portage |
|---|
|
Legend:
- + - stable
- ~ - unstable
- M - hardmask
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 1.8-r4 |
|
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
USE flags
- cln - Use sci-libs/cln
- proofs - Support for proof generation
- readline - Enable support for libreadline, a GNU line-editing library that almost everyone wants
- statistics - Include statistics
Also available in:
Atom
