| Name | shilver JSON |
| Version |
0.0.1
JSON |
| download |
| home_page | |
| Summary | An outstandingly fast Shingoki solver. |
| upload_time | 2023-04-19 11:03:19 |
| maintainer | |
| docs_url | None |
| author | |
| requires_python | >=3.9 |
| license | |
| keywords |
answer set programming
puzzles
shingoki
|
| VCS |
|
| bugtrack_url |
|
| requirements |
No requirements were recorded.
|
| Travis-CI |
No Travis.
|
| coveralls test coverage |
No coveralls.
|
# Shingoki solver
Práctica RCRA 2022-2023
## Setup
```sh
python -m install clingo clingraph
```
## Usage
```sh
# 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
```
Raw data
{
"_id": null,
"home_page": "",
"name": "shilver",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.9",
"maintainer_email": "Jorge Gab\u00edn <jorgegabinbrenlla@gmail.com>, Brais Mu\u00f1iz <mc.brais@gmail.com>",
"keywords": "answer set programming,puzzles,shingoki",
"author": "",
"author_email": "Jorge Gab\u00edn <jorgegabinbrenlla@gmail.com>, Brais Mu\u00f1iz <mc.brais@gmail.com>",
"download_url": "https://files.pythonhosted.org/packages/4f/96/397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd/shilver-0.0.1.tar.gz",
"platform": null,
"description": "# Shingoki solver\n\nPr\u00e1ctica RCRA 2022-2023\n\n## Setup\n\n```sh\npython -m install clingo clingraph\n```\n\n## Usage\n\n```sh\n# Solve example: clingo 0 solver.lp <examplefile>\nclingo 0 solver.lp tests/6x6easy.lp\n\n# Solve and draw solution:\nclingo 0 tests/8x8normal.lp solver.lp --outf=2 | clingraph --viz-encoding=viz.lp --engine=neato --out=render --view\n\n# Remove 'solver.lp' for drawing initial state\nclingo 0 tests/8x8normal.lp --outf=2 | clingraph --viz-encoding=viz.lp --engine=neato --out=render --view\n```",
"bugtrack_url": null,
"license": "",
"summary": "An outstandingly fast Shingoki solver.",
"version": "0.0.1",
"split_keywords": [
"answer set programming",
"puzzles",
"shingoki"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "f944ce46cdb3994e1f524f6ae79526ae1889ea98e1124dd9128d439265e0f261",
"md5": "f83b3ab07f98f3a5632939650357d9fc",
"sha256": "08774da11a53dcd1dec61c2fb282ecbd5b8cea9dac3677204b03dab574d9e0e1"
},
"downloads": -1,
"filename": "shilver-0.0.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "f83b3ab07f98f3a5632939650357d9fc",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 5927,
"upload_time": "2023-04-19T11:03:16",
"upload_time_iso_8601": "2023-04-19T11:03:16.919487Z",
"url": "https://files.pythonhosted.org/packages/f9/44/ce46cdb3994e1f524f6ae79526ae1889ea98e1124dd9128d439265e0f261/shilver-0.0.1-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "4f96397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd",
"md5": "be09bd83d3c859c3f5aaeba99e5ef77e",
"sha256": "c0e312f3f249b2d8808ebc164a841c6836b0c84d882af5e3affc1514b6d3e235"
},
"downloads": -1,
"filename": "shilver-0.0.1.tar.gz",
"has_sig": false,
"md5_digest": "be09bd83d3c859c3f5aaeba99e5ef77e",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.9",
"size": 6210,
"upload_time": "2023-04-19T11:03:19",
"upload_time_iso_8601": "2023-04-19T11:03:19.292249Z",
"url": "https://files.pythonhosted.org/packages/4f/96/397bbd720d109ff136dc17e0328ed9386c14d923abae6836d60a2698a6fd/shilver-0.0.1.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-04-19 11:03:19",
"github": false,
"gitlab": false,
"bitbucket": false,
"lcname": "shilver"
}
