githwxi/ATS-Postiats-contrib — pull request #9 by wdblair (2014-09-02 13:51:28+00:00)
Title: Adding Z3 ATS Bindings and External Constraint Solver

This pull request includes everything needed to run an experimental constraint solver. It is located in projects/MEDIUM/ATS-constraint. It uses my own wrapper around the Z3 C library for ATS, which is located in a new folder in libats-.