3 ms·
Is Z3 able to produce proofs for these problems? Or does it only say "unsat" and you need to trust it?
by dwrensha 5y ago
Is Z3 able to produce proofs for these problems? Or does it only say "unsat" and you need to trust it?
loading thread…
3 ms·