3 ms·
> It just so happens that the first result Z3 finds is the correct one. But if you exclude that result with an additional constraint, it will find another. Hav
by mannykannot 7y ago
> It just so happens that the first result Z3 finds is the correct one. But if you exclude that result with an additional constraint, it will find another.
Having an additional constraint would be a different question, would it not?