Value of constant shouldn't be modified when problem is unsat

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

https://elsoroka.github.io/Satisfiability.jl/

MIT License

29 stars 4 forks source link

Value of constant shouldn't be modified when problem is unsat #26

Closed elsoroka closed 10 months ago

elsoroka commented 10 months ago

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.