/puzzles-to-sat-converters

A few different puzzle to sat format converters.

Primary LanguagePython

puzzles-to-SAT-converters

SAT converters for a few different puzzles:

  • nQueens
  • Clique
  • 2Less