Contributing to Z3 for SPARK 2014
=================================

This repository is specific to SPARK 2014. We suggest you submit your
contributions to the development of Z3 to the [official
repository](https://github.com/Z3Prover/z3).
