Add a basic interactive GUI

glaserL / vizlo

Debugging module for clingo

MIT License

2 stars 0 forks source link

Add a basic interactive GUI #7

Closed glaserL closed 3 years ago

glaserL commented 4 years ago

b19d7ff6433519ad21db564920657bb5eb94da0f added a simple GUI built with qt for python (official bindings of qt, NOT PyQt5, should come with more longevity).

Ideally incrementally builds on #6 . Should provide Stepping functionality, solve entirely then draw. Should write applied rules on the edges. Should write partial models into the nodes.

glaserL commented 3 years ago

vizlo is no longer intended to be interactive