Documentation of return codes of solver tools

[peschue]

I could not find any documentation of the return codes of solver tools (clingo, gringo, clasp, clingo-dl) in the Guide. Is this an oversight or is this not documented?

[rkaminsk]

There are for sure missing things.

Probably, you find the most detailed description on the ASP competition 2013 site: https://www.mat.unical.it/aspcomp2013/files/aspoutput.txt

[peschue]

Thank you!

[rkaminsk]

In a future version of the guide the behavior described in potassco/clasp#42 should be described.