You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
None, since the solvers are not a part of YosysHQ and (at the moment at least) I'm only packaging YosysHQ projects. You would need to obtain z3 and boolector binaries somewhere else. However, yosys-smtbmc is a part of SymbiYosys and isn't a solver per se, so it's packaged as yowasp-yosys-smtbmc.
I typically have my bmc configured with smtbmc and z3, with an occasional foray into boolector. What comes "natively" in yowasp?
The text was updated successfully, but these errors were encountered: