Tag: sat-solvers

Question: I want to reason about natural numbers in my constraints. I know that I can do something like: x = Int('x') and then add a constraint that x >= 0. But is there a better way of doing this ...