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).Look at our documentation page to see how to use clinguin.
Our examples folder shows how to use the range of functionalities in different applications.
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.
For instructions to install from source, pip and conda see our documentation page.