Kakuro-Solver Documentation

Description

Description

Kakuro-Solver is a set of executables which can be used to solve a kakuro instance. 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.

 All Classes Files Functions Variables