version=4
https://cvc4.cs.stanford.edu/downloads/builds/src/ cvc4-(\d+[\.\d+]+)\.tar\.gz
