search

elliottt / easy-smt

Easy SMT solver interaction
Apache License 2.0
24 stars 4 forks source link

Bump to 0.2.0 #22

Closed elliottt closed 1 year ago

elliottt commented 1 year ago

Bump to 0.2.0 as we will be removing the declare method in this release.