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.