Run the solver
How to drive it.
How does it work ?
Known problems, please read these before submitting new bug reports. Also look at this page to find contact info for licensing issues.
The source. If/when I get round to updating it.