v1.3.2

GermanMT released this 25 Jan 11:40

· 2 commits to main since this release

✨ New Features

698c5a7 - Modify file name use (commit by @GermanMT)

🔧 Chores

9d45dda - Bump z3 solver (commit by @GermanMT)

Contributors

GermanMT

Assets 2