History

0.1.0 (2018-02-20)

  • First release on PyPI.

0.2.0 (2018-02-23)

  • First-Order logic support (Formulas, Interpretations, Assignment, Truth of the formulas).

0.2.1 (2018-02-23)

  • Fix on the repo.

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

0.2.9 (2018-03-16)

  • Migrating from PySimpleAutomata to Pythomata