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
When a problem is unsat the value of each expression is set to nothing to indicate there's no satisfying assignment.
However, the value of a constant should not be modified since it's used to store the actual numeric value. This is a one-line bug fix.
The text was updated successfully, but these errors were encountered:
When a problem is unsat the
value
of each expression is set tonothing
to indicate there's no satisfying assignment.However, the
value
of a constant should not be modified since it's used to store the actual numeric value. This is a one-line bug fix.The text was updated successfully, but these errors were encountered: