/puzzles-to-sat-converters

A few different puzzle to sat format converters.

Primary LanguagePython

Watchers