See Bleicher's "Freezer" that is a human/computer interactive proof agent: you make the "rules", and it iterates over positions. (The article from 2004 is rather old, and the given examples are solvable by brute means by now.)
post.as.a.guest
- 259
- 1
- 3
- 8