This shows you the differences between two versions of the page.
cvc4 [2015/05/24 17:24] (current)
|Line 1:||Line 1:|
|+||====== CVC4 SMT Solver ======|
|+||The CVC4 SMT solver is available from http://cvc4.cs.nyu.edu|
|+||Information on experiments with synthesis within CVC4 is available on the [[cvc4-synthesis]] page.|