chiark / gitweb /
Standalone solvers were broken by my recent API changes.