clingo_propagate_init_solver_literal returns "-1" about clingo HOT 3 CLOSED

Thanks for your information. Another question: except “-1”, is it likely that clingo_propagate_init_solver_literal returns a negative literal (e.g., -2)?

Such kind of literals might be introduced during equivalence preprocessing. A simple example should be

{a}.
b :- not a.

Note that equivalence preprocessing is limited in some settings. In API mode, the solver is started by default in multi-shot mode, option --single-shot can be used to disable it. Equivalence preprocessing can also be disabled using option --eq=0. However it sometimes speeds up solving a lot and I not know if it completely prevents negative literals. I can also not say how likely negative literals are.

from clingo.

Yes, literals are negated using -. The current implementation guarantees that the solver literals -1/1 are false/true.

from clingo.

Thanks for your information.
Another question: except “-1”, is it likely that clingo_propagate_init_solver_literal returns a negative literal (e.g., -2)?

from clingo.