Skip to content

Releases: SRI-CSL/libpoly

Update to go with Yices 2.4.2

11 Dec 18:53
@dddejan dddejan
v0.1.2
aad7439
Compare
Choose a tag to compare
Update to go with Yices 2.4.2 Pre-release
Pre-release

Various improvements and some API changes.

Loading

Update to go with Yices 2.4.1

12 Aug 18:22
@dddejan dddejan
v0.1.1
134e63a
Compare
Choose a tag to compare
Update to go with Yices 2.4.1 Pre-release
Pre-release 
v0.1.1

removing
Loading

Initial release

09 Jul 17:32
@dddejan dddejan
v0.1.0
353eb26
Compare
Choose a tag to compare
Initial release Pre-release
Pre-release

Initial version of the library. This version was used in the SMT-COMP 2015 with Yices2.

Loading