History
0.2.0 (2018-02-23)
- First-Order logic support (Formulas, Interpretations, Assignment, Truth of the formulas).
0.2.2 (2018-02-25)
- Refactoring of the formulas and formal systems functionalities.
- Implemented LDLf.
0.2.3 (2018-02-25)
- “To negative normal form” procedure for LDLf formulas.
0.2.4 (2018-02-06)
- Support for LDLf for Empty Traces.
0.2.6 (2018-03-09)
- Non-deterministic state automata conversion procedure for LDLf_EmptyTraces formulas.
0.2.7 (2018-03-10)
- Fix bug in delta function for NFA computation from LDLf_EmptyTraces formulas
- Fix bug in rewriting automata for PySimpleAutomata package
0.2.8 (2018-03-10)
- Implemented DFA conversion for NFAs from LDLf_EmptyTraces formulas