fix: use propagate for "<=" constraint + using solution reference from solution rather than solver

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

17 stars 4 forks source link

fix: use propagate for "<=" constraint + using solution reference from solution rather than solver #108

Closed ImkoMarijnissen closed 2 weeks ago

ImkoMarijnissen commented 2 weeks ago

Currently, the "<=" propagator uses incremental state in the debug_propagate_from_scratch method which leads to test failures when using extreme asserts.

This PR addresses this by creating a separate propagate and debug_propagate_from_scratch implementation