@hackage / bindings-yices

Bindings to the Yices theorem prover

Latest0.3.0.2

Changelog

## 0.3 -- 22th August 2015
* Extend the API with missing for add, sub and mul binary operators.