Differences
This shows you the differences between two versions of the page.
— |
cvc4 [2015/05/24 17:24] (current) vkuncak created |
||
---|---|---|---|
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. | ||