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
I've opened a new branch and removed simplify() from the ignore list. We still need to decide when to call this method. According to the API documentation (link):
Each call to Bitwuzla::check_sat() simplifies the input formula as a preprocessing step. It is not necessary to call this function explicitly in the general case.
Bitwuzla supports simplification of formulas via the
simplify()
call. We should enable this in our wrapper for the next update of Bitwuzla.The text was updated successfully, but these errors were encountered: