Issue #66: Freeze variables watched by ClingoPropagator.

potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver

https://potassco.org/clasp/

MIT License

116 stars 16 forks source link

Closed BenKaufmann closed 3 years ago

BenKaufmann commented 3 years ago

Extend ClingoPropagatorInit so that all variables that are watched by at least one ClingoPropagator are marked as frozen.
Add ClingoPropagatorInit::freezeLit() for explicitly freezing a literal independent of its final watch state.