You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
in the second solve call when multi-threading is enabled.
#include<clingo.hh>intmain() {
Clingo::Control ctl{{"-t8"}};
ctl.add("base", {}, R"( {a; b; c}. :- not a, not b. :- a, c. :- a, not c. :- b, c. :- b, not c.)");
ctl.ground({{"base", {}}});
ctl.solve().get();
// Calling this, there sometimes is an assertion:
ctl.solve().get();
return0;
}
EDIT: I simplified the program a bit; it actually does not need a propagator to trigger the assertion.
The text was updated successfully, but these errors were encountered:
* Remove unnecessary assertion in Solver::cloneDB(). The function
actually does not have a precondition.
* Add missing has conflict check to SharedContext::attach().
A solver could already have a top-level conflict when attached to
its SharedContext. This happens, for example, if a previous solve
call already left the solver in an unconditionally unsat state.
The program below sometimes terminates with
in the second solve call when multi-threading is enabled.
EDIT: I simplified the program a bit; it actually does not need a propagator to trigger the assertion.
The text was updated successfully, but these errors were encountered: