Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them with limboole.
Project description
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 .
- install
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
ssc-compiler-1.0.3.tar.gz
(64.5 kB
view details)
File details
Details for the file ssc-compiler-1.0.3.tar.gz
.
File metadata
- Download URL: ssc-compiler-1.0.3.tar.gz
- Upload date:
- Size: 64.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.10.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.10.2
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0563755e4f737849e2bf1cb052f3f39940f53831bc106b07e0005e0717ca8360 |
|
MD5 | 158eecc4bb473b2837c63eddae38a516 |
|
BLAKE2b-256 | 79a935f085a6c71f4a544ac882b5a3a152e6bb5cd48835e2878247c4b820cf56 |