Hackage :: [Package]

Changelog for bindings-yices-0.3.0.2

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