Links for cvc4
cvc4-1.8.tar.gz