(1) Posted by Thomas Brand [Wednesday, Feb 19, 2014 06:53]
A Problem with Euclide
Bernd Gräfrath and Sivio Baier encountered a problem with the proof game solving program Euclide (http://lestourtereaux.free.fr/euclide/) not finding the solution of a short proof game which was correctly found e.g. by Natch (http://natch.free.fr/Natch.html). They informed Étienne Dupuis, Euclide's author.