Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#113
Renaming of Inv-QuickXPlain to Inv-HS-Tree
to corrspond with our publication (tool paper)