Distributed under LGPL Licence.
Current version is 0.3
./configure make make install
The algorithms are based on paper From Regular Expressions to Deterministic Automata, G. Berry and R. Sethi. Theoretical Computer Science 48 (1986) 117-126. Research Report
This library uses smart data structures (Hash-consing, Patricia Trees), thanks to Jean-Christophe Filliātre.
Documentation is auto-generated with OcamlWeb.