4 ms·Agree. This is bread and butter for SMT solvers like Z3. No "AI" required.by jnash 5y agoAgree. This is bread and butter for SMT solvers like Z3. No "AI" required.