Value of constant shouldn't be modified when problem is unsat
Closed this issue · 0 comments
elsoroka commented
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.