PyPI page
Home page
Author:
Alberto Casagrande
License:
GNU General Public License, version 2
Summary:
A simple Python model checking package
Latest version:
1.3.4
Required dependencies:
lark-parser
Downloads last day:
25
Downloads last week:
182
Downloads last month:
2,178
7-day smoothing