We have changed the default SEC engine to be our PDR/IC3 implementation #155
nanocoh
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
We suggest to update your repo with this change(unless you already choose PDR as your main engine by configuration) in order to enjoy higher coverage and speed.
All reactions