joergp

Currently, there is no development of this plugin. Note that with stepping there is a different debugging approach implemented in sealion that works beyond Gringo3. It is based on stepwise application of rules (See http://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:1-75281 and http://www.sealion.at/phocadownload/tutorials/sealion_stepping.pdf). There is also an implementation of debugging more in the style of Ouroboros based on dwasp (see https://arxiv.org/abs/1611.04969).

Hi Broes, unfortunately a bug. Note that the Ouroboros plugin was written prior to updating gringo syntax to version >= 4. Please, try the new sealion version 1.2.1 that comes with a fix for this issue that caused Ouroboros to never work. You must ensure however that you use the gringo3 components of sealion. This is best achieved by using the extension .gr3 for your files and using the solver configuration Clingo3.

version 1.2.1 - bug fix - ouroboros never working - now working with gr3 files , some minor changes

bugfix unequal operator in aggregate

bug fix: pooling not working within functions

bug fix: phantom pooling component

minor fixes and boolean constants

repair: get visible ground atoms from gringo/cl...