githwxi/ATS-Postiats-contrib — pull request #15 by wdblair (2014-11-23 21:26:35+00:00)
Title: Updating External Constraint Solver and Examples

Small changes to the external constraint solver, updated the examples in libats-/wdblair/prelude on how it can be used.