Manage SAT problem descriptions, with input and output to DIMACS file format.
Support for hexagonal grids as used in Hey That's My Fish!