chiark / gitweb /
Greatly increase the speed of the Filling solver.