search

bramucas / xclingo2

A tool for explainability and debugging in Answer Set Programming.
MIT License
10 stars 4 forks source link

-n does not functions as it should #7

Closed bramucas closed 2 years ago

bramucas commented 2 years ago

-n explantions 1 should give 1 explantion for each atom