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