This is my personal (experimental) fork of CVC4.  Caveat emptor.  If you want the official CVC4 repo, check out CVC4/CVC4.