Post by Andrew Rose on Sept 14, 2015 11:09:04 GMT -8
I've coded up Futoshiki and it's now available on the Tiltyard.
There are 4x4, 5x5 & 6x6 versions available. Sancho can solve the smaller versions (when an errant propnet optimization step is commented out) but not the 6x6 (yet). If we get to the point of being able to solve the 6x6, I'll add some bigger ones. (I'm hopeful that the same technique Sancho uses for Sudoku will also considerably assist here. With any luck, it's just a case of figuring out why that technique doesn't enable itself for this game.)
The visualization doesn't currently work in Firefox, but I've already sent a trial fix to Sam to merge, so hopefully it won't be long before you can view matches in Firefox. For now, Chrome certainly works. Here are Tiltyard links for the current world champion solving the 4x4 and 5x5 versions. And here's Sancho failing the 6x6 version.
There are 4x4, 5x5 & 6x6 versions available. Sancho can solve the smaller versions (when an errant propnet optimization step is commented out) but not the 6x6 (yet). If we get to the point of being able to solve the 6x6, I'll add some bigger ones. (I'm hopeful that the same technique Sancho uses for Sudoku will also considerably assist here. With any luck, it's just a case of figuring out why that technique doesn't enable itself for this game.)
The visualization doesn't currently work in Firefox, but I've already sent a trial fix to Sam to merge, so hopefully it won't be long before you can view matches in Firefox. For now, Chrome certainly works. Here are Tiltyard links for the current world champion solving the 4x4 and 5x5 versions. And here's Sancho failing the 6x6 version.