Lab for Automated Reasoning and Analysis LARA

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