Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#98
Order the conflicts by size
Order the minimal conflict set by ascending number of axioms.