| 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
|