
This directory contains some general tools.

  more_string		some string utils

  dense_set		dense set of natural numbers implemented with bitmaps

  dot_graph		interface library for graphviz (tree layout for neato)
