Skip to content

v0.1.0

Choose a tag to compare

View all tags
@BrunoDutertre BrunoDutertre released this 09 Sep 15:52
· 47 commits to main since this release
v0.1.0
efe2bb0

First release. Works on most of SMT-LIB. Still some issues with datatypes.

Assets 2
Loading