Vaucanson 1

Vaucanson 1

The original version of Vaucanson. You should rather use Vcsn now.