Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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.
  
 
cvc4.txt · Last modified: 2015/05/24 17:24 by vkuncak