PyPI page
Home page
Author:
OpenOBA
License:
Apache-2.0
Summary:
SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs.
Latest version:
0.2.0
Required dependencies:
z3-solver
Optional dependencies:
pytest
Downloads last day:
0
Downloads last week:
7
Downloads last month:
755
7-day smoothing