MadLab
MadLab Tesuji Solver is a program for solving open-space capture problems. Written in Java, MadLab runs on all major platforms and is available at http://www.t-t.dk/madlab.
The program guarantees 100% correctness of its solutions, and it can also analyze whole games. MadLab comes with 997 capture problems extracted from real high-level games, and there is a free 9x9 version available. The 997 capture problems can be freely downloaded as sgf files here: http://t-t.dk/madlab/problems.
Example of an open-space capture problem (LuckySProblem):
The problem is open-space since the marked stones are not surrounded by outer walls of stones like semeai or tsumego problems. MadLab is aimed at open-space capture problems, and the engine is based upon the so-called lambda-search algorithm. A paper on the algorithm and some illustrative source code is available here: http://www.t-t.dk/go/cg2000/index.html.
Author of MadLab: Thomas Thomsen.
SiouxDenim - (13 Apr 2010) the links on this page no longer work. It is not obvious if MadLab still exists.