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