search

glaserL / vizlo

Debugging module for clingo
MIT License
2 stars 0 forks source link

Add search feature to visualization #9

Closed glaserL closed 3 years ago

glaserL commented 4 years ago

Provide a search interface to the visualization. E.g. searching for "a, not b, c(1,2)." should highlight all models that this applies to.

May provide some sort of "zoom into" feature that enables jumping around in large graphs.

Requires #7 to be finished.

glaserL commented 3 years ago

This issue is irrelevant as this project solely focusses on the visualization now