An outstandingly fast Shingoki solver.
Project description
Shingoki solver
Práctica RCRA 2022-2023
Setup
python -m install clingo clingraph
Usage
# Solve example: clingo 0 solver.lp <examplefile>
clingo 0 solver.lp tests/6x6easy.lp
# Solve and draw solution:
clingo 0 tests/8x8normal.lp solver.lp --outf=2 | clingraph --viz-encoding=viz.lp --engine=neato --out=render --view
# Remove 'solver.lp' for drawing initial state
clingo 0 tests/8x8normal.lp --outf=2 | clingraph --viz-encoding=viz.lp --engine=neato --out=render --view
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
shilver-0.0.1.tar.gz
(6.2 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file shilver-0.0.1.tar.gz.
File metadata
- Download URL: shilver-0.0.1.tar.gz
- Upload date:
- Size: 6.2 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c0e312f3f249b2d8808ebc164a841c6836b0c84d882af5e3affc1514b6d3e235
|
|
| MD5 |
be09bd83d3c859c3f5aaeba99e5ef77e
|
|
| BLAKE2b-256 |
4f96397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd
|
File details
Details for the file shilver-0.0.1-py3-none-any.whl.
File metadata
- Download URL: shilver-0.0.1-py3-none-any.whl
- Upload date:
- Size: 5.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
08774da11a53dcd1dec61c2fb282ecbd5b8cea9dac3677204b03dab574d9e0e1
|
|
| MD5 |
f83b3ab07f98f3a5632939650357d9fc
|
|
| BLAKE2b-256 |
f944ce46cdb3994e1f524f6ae79526ae1889ea98e1124dd9128d439265e0f261
|
