A package devoted to backtrackable data structures.

Related Documentation

For tutorials, examples, documentation and technical notes, see: