search

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.
Apache License 2.0
18 stars 5 forks source link

fix: cumulative holes in domain incorrectly used cached profile #109

Closed ImkoMarijnissen closed 3 weeks ago

ImkoMarijnissen commented 3 weeks ago

When allowing holes in the domain for the cumulative constraint, the explanation was attempting to use the cached profiles even when it should not.

This PR addresses this by dropping the cached explanations whenever we move to the next profile.