K 10
svn:author
V 2
pi
K 8
svn:date
V 27
2018-06-21T11:06:10.520288Z
K 7
svn:log
V 390
New port: math/cvc4

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.

WWW: https://cvc4.cs.stanford.edu/web/

PR:		227702
Submitted by:	Greg V <greg@unrelenting.technology>

END