Documentation

Modules

bit vectors of arbitrary length (base class)
Kleene's Algorithm for Deterministic Finite Automata
Kruskal's Algorithm for Minimal Spanning Trees in Graphs
Matrix of Booleans
Matrix of Reals
Sets of Integers
Sets of Integers