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.