The libraries in this directory are documented on-line at

  http://www.cs.rice.edu/~shriram/Shriram/Libraries/
