Extend PropagateInit interface. #183
Conversation
This commit restores the previously implemented add clause semantics. Furthemore, it adds a propagate method to the PropagateInit class.
|
@BenKaufmann can you have a look at 732231d to check if this makes sense? I was especially unsure if it is okay to call propagate on the master solver during propagator initializtion like this. |
|
@BenKaufmann can you please also have a look at 713283f? I added a method to add weight constraints during propagator initialization. |
|
@BenKaufmann and there is a final one for adding literals to minimize in PropagateInit. Please have a look at ec8a6f9, too. |
|
Awesome, thanks. I'll address the Doxygen comments and also add Lua and Python bindings next. Would be nice if you could take care of the The SAT-preprocessing we can simply leave aside for now. |
I added the necessary changes in potassco/clasp@13ae0ea |
This commit updates clasp. With this update it is no longer necessary to call acquireProblemVars when adding clauses, weight constraints, or minimize literals to the master solver.
Thanks, using it now. |
This commit adds functions to add weight constraints and minimize constraints to the PropagateInit interface.
This commit adds functions to add weight constraints and minimize constraints to the PropagateInit interface.
|
Looks awesome. Thanks a lot. |
This pull request extends the PropagateInit class to add constraints and perform propagation during propagator initialization.