v0.1.13

fix patch number in the cmake file

v0.1.11

A release to go along with Yices 2.6.4 when it is ready.

Version bump. Various bugs fixed.

Fixes:

• Memory leaks
• Build system

v0.1.9

New "improved" versions of doctest.h and README.md

Libpoly-0.1.8

Version bump. Various bugs fixed.

Libpoly-0.1.7

This is just a version bump to keep up with the PPA. The PPA is very fiddly to update and
require me to twice increment the version number ("computer says no") because of conflicting
*.orig.tar.gz uploads. I have updated the PPA recipe accordingly, but need to find a place to put it where
we won't forget it.

Libpoly-0.1.5

Release twinned with Yices-2.6.0

Update to go with Yices 2.5.3

This release coincides with the Yices 2.5.3 release. Which itself is timed
to our first debian package.

Update to go with Yices 2.5.0

Various improvements and some API changes. Used in SMT-COMP 2016.

Update to go with Yices 2.4.2

Various improvements and some API changes.