GitHub repository: jurajsic/automata-safa
Primary language: Haskell
Description: symbolic alternating finite automata transformation library