Hacker News new | ask | show | jobs
by dwrensha 1602 days ago
Is Z3 able to produce proofs for these problems? Or does it only say "unsat" and you need to trust it?