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 (shlomif@vipe.technion.ac.il).
Have fun!