Creating a UI for learning propositional formulas with clinguin
Your project should run with the command:
clinguin client-server --domain-files asp/propositional.lp asp/instances/instance-XX-YY.lp --ui-files asp/ui.lp --backend=ClingraphBackend --clingraph-files=asp/viz.lp
Remember to add the slides of your talk in the directory slides.