sci-mathematics/
cvc4

automatic theorem prover for satisfiability modulo theories (SMT) problems

http://cvc4.cs.stanford.edu/web/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 1.6, 1.7 ]
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 1.6, 1.7 ]
1.7 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
1.6 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
RedundantVersion slot(0) keywords are overshadowed by version: 1.7
RedundantVersion slot(0) keywords are overshadowed by version: 1.7

Package Metadata

Changelog