guide icon indicating copy to clipboard operation
guide copied to clipboard

Published 20 hours ago • verified publisher icon potassco

Documentation of return codes of solver tools

Open peschue opened this issue 6 years ago • 3 comments

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?

peschue avatar Jan 29 '19 18:01 peschue

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

rkaminsk avatar Jan 30 '19 09:01 rkaminsk

Thank you!

peschue avatar Jan 30 '19 10:01 peschue

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

rkaminsk avatar Feb 02 '19 17:02 rkaminsk