Slitherlink-Solver is a set of executables which can be used to solve slitherlink instances. It was written as an exercise in proof complexity (KTH,jan-2012) and depends heavily on CNFlib. They are to be used in coordination with the minisat2 program.
This documentation was generated using doxygen (as indicated in the footer), a powerfull tool generating a javadoc-style documentation for project written in C, C++, Java and other languages.