Added fix in the ImpliesThisIsAlsoSatisfied method#26

Merged

kwesiRutledge merged 2 commits intomainfrom

kr/fix/implication-of-constraints2

Oct 8, 2025

Commits on Oct 8, 2025

Added fix in the ImpliesThisIsAlsoSatisfied method
Kwesi Rutledge
committed
Added test for case with negative coefficients
Kwesi Rutledge
committed