Welcome to the LABAS Justifier, a tool for justifying why a literal is or is not contained in an answer set.
Have a look at the
User Guide to learn more about the functionality of the LABAS Justifier.
For more information about the LABAS theory and how justifications are constructed, check out the
About page.
Input Logic Program
(using
clingo format)
Note: In case the upload is unsuccessful, go back to
labas-justification.herokuapp.com and try again.