PyPI page
Home page
Author:
The Z3 Theorem Prover Project
License:
MIT License
Summary:
an efficient SMT solver library
Latest version:
5.4.1.0
Required dependencies:
importlib-resources
Downloads last day:
315,614
Downloads last week:
1,971,328
Downloads last month:
7,812,767
7-day smoothing