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. | ||