chiark / gitweb /
Solver for Flip.