class="doc"><p>This module and the accompanying <code><a href="Regex-Genex.html#v:genex">genex</a></code> program finds all permutations
of strings that matches every input regular expressions, ordered from
shortest to longest, with full support for back references ('\1' .. '\9')
and word boundaries ('\b').
</p><p>It requires the <code>yices</code> binary in PATH; please download it from:
<a href="http://yices.csl.sri.com/download-yices2.shtml">http://yices.csl.sri.com/download-yices2.shtml</a>
</p></div></