Hashsets as a parameterized type using Hashtbl.
Charsets are just hashsets of integers in the range 0-255
Nondeterministic finite state automata, implemented using explicit Hashtbl representations for delta (transitions that consume a symbol) and epsilon (transitions that do not consume a symbol).
We represent systems of constraints as directed usually-acyclic dependency graphs.
This module defines operations on
This module contains the bulk of the solving code.