Skip to main content

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 .

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)

Uploaded Source

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

Hashes for ssc-compiler-1.0.3.tar.gz
Algorithm Hash digest
SHA256 0563755e4f737849e2bf1cb052f3f39940f53831bc106b07e0005e0717ca8360
MD5 158eecc4bb473b2837c63eddae38a516
BLAKE2b-256 79a935f085a6c71f4a544ac882b5a3a152e6bb5cd48835e2878247c4b820cf56

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page