Skip to content

Release 1.10.0: LogicBlocks Integration

Choose a tag to compare

View all tags
@burgholzer burgholzer released this 01 Sep 11:26
· 1503 commits to main since this release
v1.10.0
0c30f6b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release marks the addition of the LogicBlocks submodule in QMAP as a drop-in replacement for Z3 that abstracts away most of the technical aspects related to Z3 (see #79 for more details on this change).

Please report any bugs that you encounter by creating an issue. Make sure to check whether the problem also occurs using previous versions (specifically v1.9.1). This helps in quickly isolating the problem.

Assets 2
Loading