py37-z3

v 4.12.2 Updated: 1 year, 4 months ago

Python 3.7 bindings for the Z3 theorem prover

Python 3.7 bindings for the Z3 SMT solver library from Microsoft Research.

https://github.com/Z3Prover/z3

Add to my watchlist

Installations 0
Requested Installations 0