Metadata-Version: 2.1
Name: ssc-compiler
Version: 1.0.2
Summary: Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them with limboole.
Home-page: https://github.com/charludo/ssc
Author: Charlotte Hartmann Paludo
Author-email: charlotte.hartmann-paludo@stud.uni-due.de
License: UNKNOWN
Keywords: sudoku,sat,compiler,limboole
Platform: UNKNOWN
Description-Content-Type: text/markdown

# 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 git@github.com:charludo/ssc.git`
	- `python -m venv .ssc`
	- `. .ssc/bin/activate`
	- `cd ssc`
	- `pip install -e .`


