search

potassco / guide

🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Creative Commons Attribution Share Alike 4.0 International
75 stars 13 forks source link

Documentation of return codes of solver tools #18

Open peschue opened 5 years ago

peschue commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

Thank you!

rkaminsk commented 5 years ago

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