Skip to content

Releases: c-cube/smtlib-utils

0.5

16 Apr 03:46
@c-cube c-cube
v0.5
93dfede
This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
GPG key ID: EBFFF6F283F3A2B4
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5 Latest
Latest

CHANGES:

  • added bitvector support
  • added support for declare-datatype
Assets 3
Loading

0.1

07 Nov 16:38
@c-cube c-cube
v0.1
ab2cdfb
Compare
Choose a tag to compare
0.1

First release with versioned API for Smtlib-2.6.

Assets 2
Loading