v1.3.0

GermanMT released this 07 Nov 13:54

· 9 commits to main since this release

🐛 Bug Fixes

5d50844 - Delete unselected versions and round to 2 impact (commit by @GermanMT)
403efe7 - Refactor SMT constraints to make it much more efficient (commit by @GermanMT)
b3c37e6 - Delete unnused code (commit by @GermanMT)

🔧 Chores

ade17ba - Bump versions (commit by @GermanMT)

Contributors

GermanMT

Assets 2