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