handleInput

Main

hasCycle

Nfa

hasPropositions

Options