Sudoku-SAT-compiler (ssc)

Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them with limboole.

See examples/ for example programs.

See ssc --help for all options.

Required Python version: >= 3.9

Recommended Installation Instructions

• install limboole, either through your system's package manager or manually
• install ssc:
  • python -m venv .ssc
  • . ./ssc/bin/activate
  • pip install ssc-compiler

Manual Installation Instructions

• install limboole, either through your system's package manager or manually
  • install ssc:
  • git clone [email protected]:charludo/ssc.git
  • python -m venv .ssc
  • . .ssc/bin/activate
  • cd ssc
  • pip install -e .