Sets
Sets of integers
Common
Common definitions and utilities
Queues
Various implementations of queues
Stats
Simple module to record statistics, by profiling
Trace
Bdd
Binary Decision Diagrams (BDDs)
Automata
Types for the various kind of manipulated automata
Determinisation
Symbolic determinisation
Epsilon
Symbolic epsilon removal
Congruence
congruence closure algorithm, for the `up to congruence' variant of the algorithms
Safa
Symbolic algorithms for language equivalence