Release History

0.3.2 (2020-03-22)

  • Bug fixing and minor improvements.

0.3.1 (2020-02-28)

  • Improved CI: using GitHub actions instead of Travis.
  • Included many other checks: safety, black, liccheck.
  • Improved documentation.

0.3.0 (2020-02-09)

  • Main refactoring of the APIs.
  • Introduce interfaces for better abstractions: Alphabet, FiniteAutomaton etc.
  • DFA and NFA renamed SimpleDFA and SimpleNFA, respectively.
  • Introduced SymbolicAutomaton and SymbolicDFA, where the guards on transitions are propositoinal formulas.

0.2.0 (2019-09-30)

  • Refactoring of the repository

0.1.0 (2019-04-13)

  • Basic support for DFAs and NFAs.
  • Algorithms for DFA minimization and trimming.
  • Algorithm for NFA determinization.