This is LM-Solve, a command-line program to automaticalluy solve some types of the Logic Mazes presented on the Logic Mazes site ( http://www.logicmazes.com/ ).
Read the file INSTALL to learn how to install the program, and then you can invoke the program by using the "lm-solve" executable. (type "man lm-solve" to get more help).
The LM-Solve homepage is:
http://www.shlomifish.org/lm-solve/
Its version control repository is:
http://svn.berlios.de/svnroot/repos/quad-pres/lm-solve/
LM-Solve was written by Shlomi Fish ( http://www.shlomifish.org/ ).
Have fun!