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:
59
Downloads last week:
372
Downloads last month:
997