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.

Upload Logic Program

(.lp-file using clingo format)


Input Logic Program

(using clingo format)

Note: In case the upload is unsuccessful, go back to labas-justification.herokuapp.com and try again.