chiark / gitweb /
Fix a bug causing premature defeatism in the Bridges solver. Deducing