v0.16.2

github-actions released this 27 Sep 18:10

· 4379 commits to main since this release

df91949

0.16.2

Features

improve SMT encoding by removing unused let-definitions, see #995

Bug fixes

Fixed a bug caused by big numbers on annotations, see #990

Assets 6