Skip to content

[2.8.1] 2024-08-19

Compare
Choose a tag to compare
@david-yz-liu david-yz-liu released this 20 Aug 03:24

πŸ› Bug fixes

  • Fix loading of setendings plugin when z3-solver is not installed