assignment2slitherlink.cpp [code] | Contains functions used to to read a solution for a slitherink from an assignment returned by minisat2 |
slitherlink.cpp [code] | Contains the actual code of the Slitherlink class |
slitherlink.h [code] | Contains the header of the Slitherlink class |
slitherlink2formula.cpp [code] | Contains the functions used to turn a Slitherlink puzzle into a CNF formula |