[Retros] A new program to solve fairy proof games

[andrew buchanan]

Dear Francois,
I want to echo Bernd's enthusiasm for this literally game-changing program. Once I had discovered I had to unclick the mysterious "Flood Protection" button, I verified PG 7.5 Circe PDB: P1281158 in just 31 seconds on a small laptop.

I also think that LosingChess would be a great addition, and should not be too hard.
My number 1 engine wish currently (and I am not sure how feasible it is for Jacobi), would be to support help retractors for helpmates. Typically one or two moves are undone, and then forward play occurs. It would not be necessary to determine exactly which retractions are retroanalytically viable: that can be done manually. Instead, simply to try all unmoves without regard to global legality. This would be useful even for orthodox problems, but should not be excluded from Jacobi on that account.
I think that "Load problem" would be more helpful an instruction than the oracular "Set problem from text". I also enjoyed musing the subtleties of the double when clauses in "When you change the problem, the solver will be updated with the new stipulations/conditions when you click on the Start button." but in the end did not manage to solve that one.

Thanks so much!All the best,Andrew



      From: Bernd Gräfrath <retromode at web.de>
 To: retros at janko.at 
 Sent: Wednesday, November 1, 2017 12:14 AM
 Subject: Re: [Retros] A new program to solve fairy proof games
   
Dear Francois, thank you so much! I have tested Jacobi (on a home computer with i5-processor) with two proof games for which Popeye needed many hours (or even days) until it said "C+".a) PG 7.0 Circe (PDB: P1084668): C+ by Jacobi in only 788 seconds!b) PG 11.5 WhiteMustCapture (PDB: 1101007): C+ by Jacobi in only 368 seconds!!Then I started dreaming and tried to test a PG 11.5 Isardam, but here I did not see real progress.And if I may dream a little more: Perhaps one day, Jacobi can test the conditions LosingChess and SuperCirce!? Very best wishes, Bernd Gesendet: Montag, 30. Oktober 2017 um 22:05 Uhr
Von: "François Labelle" <flab at wismuth.com>
An: "The Retrograde Analysis Mailing List" <retros at janko.at>
Betreff: [Retros] A new program to solve fairy proof gamesDear retro friends,

I would like to introduce "Jacobi", a new program that can solve fairy
proof games. The home page is at http://wismuth.com/jacobi/ . The
program is a web app that runs in your browser and requires no installation.

It can solve proof games that Popeye struggles with, which by itself is
a good enough reason to add Jacobi to your toolbox. There are also new
possibilities like allowing undefined pieces in the diagram of a proof game.

That said, it is still far from being a "Natch/Euclide for fairy chess".
Jacobi's introductory problem is in 9.5 moves, while Natch's is in 22.5
and Euclide's in 26.0. But this is the first version and performance
might improve over time.

How to try Jacobi for people in a hurry:
- copy any example problem from the home page to your clipboard
- click on "Launch the latest version"
- paste the problem into the box below "Text representation"
- click on "Set problem from text"
- click on "Start".

I hope that you find it useful!

    François
_______________________________________________
Retros mailing list
Retros at janko.at
https://pairlist1.pair.net/mailman/listinfo/retros_______________________________________________
Retros mailing list
Retros at janko.at
https://pairlist1.pair.net/mailman/listinfo/retros


   
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://pairlist1.pair.net/pipermail/retros/attachments/20171101/7abf973e/attachment.html>