Manage SAT problem descriptions, with input and output to DIMACS file format.

Support for hexagonal grids as used in Hey That's My Fish!