Clinguin
Clinguin enables ASP developers to create interactive User Interface (UI) prototypes using only ASP. UIs are defined as sets of facts, which are then rendered to provide continuous interaction with the ASP solver clingo based on user-triggered events.
Your UI definition would look like this!
elem(w, window, root).
elem(b1, button, w).
attr(b1, label, "Button 1").
when(b1, click, call, next_solution).
Usage
Look at our documentation page to see how to use clinguin.
Examples
Our examples folder shows how to use the range of functionalities in different applications.
Extensions
Integration with different applications
Clinguin includes a wide range of clingo functionalities such as multi-shot solving, theory solving and more! It also has extensions for interacting with clingraph graphs and providing explanations.
Is clinguin missing something for your application?
No worries! Clinguin can be extended with different functionalities and even frontend languages, take a look at this guide.
Installation
Requirements
- Python (version 3.8, 3.9, or 3.10)
For instructions to install from source, pip and conda see our documentation page.
2 maintainers
Release files for clinguin 2.8.5
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| clinguin-2.8.5.tar.gz | 288.6 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| clinguin-2.8.5-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 611.4 kB
Release files / clinguin-2.8.5.tar.gz
| Download URL | clinguin-2.8.5.tar.gz |
|---|---|
| Size | 288.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
4573e267d973c3643105bf14295cdf3c52e398e7737beb83e840fdae48e749d4
|
|
BLAKE2b-256 checksum How to use checksums |
1308f510e90cb840ce72e88fc73f9a0aa3a2f300b7f96febd1194b579d2f2b35
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / clinguin-2.8.5-py3-none-any.whl
| Download URL | clinguin-2.8.5-py3-none-any.whl |
|---|---|
| Size | 322.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
38ec8fc544a843da117dd0f73c894037c814e128215cfeefd54a3ee86e796cd4
|
|
BLAKE2b-256 checksum How to use checksums |
8b658998a24bcfcec971cab21a944f36b4d97d9522eaa53d5061273268b0b66e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
