An interactive visualizer for clingo
Project description
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.
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.