rindPHI / grammar2regex

Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
GNU General Public License v3.0
6 stars 0 forks source link