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

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

0.0.1

Apr 19, 2023

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)

Uploaded Apr 19, 2023 Source

Built Distribution

shilver-0.0.1-py3-none-any.whl (5.9 kB view hashes)

Uploaded Apr 19, 2023 Python 3

Hashes for shilver-0.0.1.tar.gz

Hashes for shilver-0.0.1.tar.gz
Algorithm	Hash digest
SHA256	`c0e312f3f249b2d8808ebc164a841c6836b0c84d882af5e3affc1514b6d3e235`
MD5	`be09bd83d3c859c3f5aaeba99e5ef77e`
BLAKE2b-256	`4f96397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd`

Hashes for shilver-0.0.1-py3-none-any.whl

Hashes for shilver-0.0.1-py3-none-any.whl
Algorithm	Hash digest
SHA256	`08774da11a53dcd1dec61c2fb282ecbd5b8cea9dac3677204b03dab574d9e0e1`
MD5	`f83b3ab07f98f3a5632939650357d9fc`
BLAKE2b-256	`f944ce46cdb3994e1f524f6ae79526ae1889ea98e1124dd9128d439265e0f261`