3 ms·Had to look up z3 https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3by philshem 7y agoHad to look up z3 https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3