HerbRegex.jl This package contains all building blocks to synthesize regular expressions with the Herb Program Synthesis framework