http://fc-solve.berlios.de/ recently added support for more command line themes:
Those that are of interest are:
1. the-last-mohican - a preset for solving Simple Simon. Yields less false negatives than the default one, but might be slower.
2. blue-yonder - a meta-moves preset generated by a quota optimization algorithm.
3. slick-rock - aims to minimise the outcome's solution (though I have something even better in this regard in the works).
Log in to post a comment.