Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#7
Enable selection of conflict searcher in preferences
For HS-Tree and HS-DAG only. Possible Conflictsearcher: QuickXPlain, MergeXPlain, ...