PyPI page
Author:
CharlesCNorton
License:
MIT
Summary:
An SMT-based verifier for Python with a machine-checked trust base.
Latest version:
1.61.1
Required dependencies:
cvc5
|
z3-solver
Downloads last day:
10
Downloads last week:
160
Downloads last month:
1,105
7-day smoothing