Skip to content

Issues: potassco/viasp

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 42 Closed
17 Open 42 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Answer why not questions
#86 opened Jun 25, 2024 by javier-romero
@javier-romero
Improve search button to look for specific atoms
#85 opened Jun 25, 2024 by javier-romero
@stephanzwicknagl
1
Recursion detection is too strict enhancement New feature or request
#81 opened May 7, 2024 by stephanzwicknagl Up Next
@javier-romero
Pick the path at choice rule, build graph until next branching enhancement New feature or request
#76 opened May 1, 2024 by stephanzwicknagl
@stephanzwicknagl
Avoid rerunning clingo on reodering of components enhancement New feature or request question Further information is requested
#75 opened May 1, 2024 by stephanzwicknagl
Edit rules in place enhancement New feature or request
#74 opened May 1, 2024 by stephanzwicknagl
Redesign Edges enhancement New feature or request
#70 opened Mar 7, 2024 by stephanzwicknagl
@stephanzwicknagl
Use sessions to keep server running for multiple visualizations enhancement New feature or request
#67 opened Mar 3, 2024 by stephanzwicknagl
@stephanzwicknagl
Add option to show all derived symbols enhancement New feature or request
#66 opened Mar 3, 2024 by stephanzwicknagl
@stephanzwicknagl
Store clingraph image in database enhancement New feature or request
#65 opened Mar 3, 2024 by stephanzwicknagl
@stephanzwicknagl
Recursion sub-graph with Aggregates in the Body documentation Improvements or additions to documentation enhancement New feature or request
#62 opened Mar 1, 2024 by stephanzwicknagl Up Next
@javier-romero @stephanzwicknagl
Difference between branches enhancement New feature or request question Further information is requested
#28 opened Dec 2, 2023 by stephanzwicknagl
@stephanzwicknagl
More than one explanation enhancement New feature or request
#25 opened Dec 2, 2023 by stephanzwicknagl Up Next
@javier-romero @stephanzwicknagl
Explanation arrow: which rule justifies the atom? enhancement New feature or request
#22 opened Dec 2, 2023 by stephanzwicknagl Up Next
@stephanzwicknagl
1
Performance of Justification question Further information is requested
#21 opened Dec 2, 2023 by stephanzwicknagl
Save viASP graph in a file enhancement New feature or request question Further information is requested
#18 opened Dec 2, 2023 by stephanzwicknagl
@stephanzwicknagl
Move Docker build for binder notebooks wontfix This will not be worked on
#15 opened Dec 2, 2023 by stephanzwicknagl
@stephanzwicknagl
ProTip! Adding no:label will show everything without a label.