search

potassco / clingoLP

Theory propagator for linear programming using clingo theory language and interface.
MIT License
10 stars 3 forks source link

find out why clingo_main returns 10 #7

Closed sthiele closed 4 years ago

MaxOstrowski commented 4 years ago

I think (just guessing) that clasp is not conformant with linux return numbers but with SAT solvers. This mens 10 (model found), 20 UNSAT, and some other things...

sthiele commented 4 years ago

Do you know if this is this somewhere documented?

MaxOstrowski commented 4 years ago

Couldn't find it in the user guide. Probably @rkaminsk or @BenKaufmann know more about it. For sat solver competitions I found this: http://www.satcompetition.org/2004/format-solvers2004.html

rkaminsk commented 4 years ago

Let's not start the discussion whether such kind exit codes are good or bad. The best documentation you find probably here: https://github.com/potassco/clasp/issues/42

sthiele commented 4 years ago

I see thank you.