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:
43
Downloads last week:
185
Downloads last month:
1,109