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
Recently, we made the assignment work on literals not yet added (#51). Can we also change clasp so that the following program will work? At the moment there is an segfault/assertion when adding the watches:
* A clingo propagator might add watches over newly added problem
variables during initialization. So ensure that all problem
variables are known to the solver before calling
ClingoPropagatorInit::init().
Recently, we made the assignment work on literals not yet added (#51). Can we also change clasp so that the following program will work? At the moment there is an segfault/assertion when adding the watches:
The text was updated successfully, but these errors were encountered: