forall

PyPI page
Author: Stefane Fermigier
Summary: A symbolic verifier for typed Python that finds crashes without running your code
Latest version: 0.3.1
Required dependencies: pysmt | z3-solver

Downloads last day: 0
Downloads last week: 12
Downloads last month: 49
7-day smoothing