GitHub repository: p4l1ly/automata-safa
Primary language: Haskell
Created: 2021-09-27T10:59:17Z
Description: symbolic alternating finite automata transformation library