gentoo.mahdi.cz
sci-mathematics
:cvc4
Automatic theorem prover for satisfiability modulo theories (SMT) problems
https://cvc4.github.io/
cvc4-1.8-r5
GPL-2
download
~amd64 ~x86
gentoo