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
andNFA
renamedSimpleDFA
andSimpleNFA
, respectively.- Introduced
SymbolicAutomaton
andSymbolicDFA
, 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.