Automatic theorem prover for satisfiability modulo theories (SMT) problems

https://cvc4.github.io/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
1.8-r4  : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc

Package Metadata