PyPI page
Home page
Author:
Francesco Fuggitti
License:
GNU Lesser General Public License v3 or later (LGPLv3+)
Summary:
LTLf and PLTLf to Deterministic Finite-state Automata (DFA)
Latest version:
1.0.2
Required dependencies:
lark-parser
|
sympy
Downloads last day:
159
Downloads last week:
346
Downloads last month:
776