File List
Here is a list of all files with brief descriptions:
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
 All Classes Files Functions Variables Defines