A few different puzzle to sat format converters.
Primary LanguagePython
SAT converters for a few different puzzles: