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
Project details
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 hashes)