This project is actually getting usable. A proper README describing the project, (and in particular, the solvers?), would be cool.