v 4.12.2 Updated: 1 year, 5 months ago
Python 3.7 bindings for the Z3 theorem prover
Python 3.7 bindings for the Z3 SMT solver library from Microsoft Research.
+ Show more
https://github.com/Z3Prover/z3