SPARK 2014 repository for the CVC4 SMT solver. - View it on GitHub