PyPI page
Home page
Author:
CharlesCNorton
License:
MIT
Summary:
An SMT-based verifier for Python with a machine-checked trust base.
Latest version:
1.56.1
Required dependencies:
cvc5
|
z3-solver
Downloads last day:
1,198
Downloads last week:
7,162
Downloads last month:
29,547