3 ms·Z3 has both, but the tool they are using is the SAT solver.by nhatcher 3y agoZ3 has both, but the tool they are using is the SAT solver.