| Kat |
Kleene algebra with tests (KAT) expressions
|
| Antimirov |
Antimirov' partial derivatives for symbolic KAT expressions
|
| Brzozowski |
Brzozowski's derivatives for symbolic KAT expressions
|
| IlieYu |
Ilie and Yu's construction extended to symbolic KAT expressions
|
| Parse |
Parser for KAT expressions
|
| Symkat |
High-level interface of the library, main entry point for standalone program
|