3 ms·

> using a SAT solver (in this case, Z3) isn't z3 SMT solver, not SAT?

• nhatcher 3y ago
  Z3 has both, but the tool they are using is the SAT solver.