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
1 maintainer
Metadata
1 maintainer
Release files for shilver 0.0.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| shilver-0.0.1.tar.gz | 6.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| shilver-0.0.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 12.1 kB
Release files / shilver-0.0.1.tar.gz
| Download URL | shilver-0.0.1.tar.gz |
|---|---|
| Size | 6.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c0e312f3f249b2d8808ebc164a841c6836b0c84d882af5e3affc1514b6d3e235
|
|
BLAKE2b-256 checksum How to use checksums |
4f96397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.9.13
|
Release files / shilver-0.0.1-py3-none-any.whl
| Download URL | shilver-0.0.1-py3-none-any.whl |
|---|---|
| Size | 5.9 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
08774da11a53dcd1dec61c2fb282ecbd5b8cea9dac3677204b03dab574d9e0e1
|
|
BLAKE2b-256 checksum How to use checksums |
f944ce46cdb3994e1f524f6ae79526ae1889ea98e1124dd9128d439265e0f261
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.9.13
|
