ReadGlim
Trie Automata for Constrained Decoding over Large Finite Sets — ReadGlim