Code

feat: improve not equals propagator#133

Code

Closed

RobbinBaauw wants to merge 1 commit intoConSol-Lab:developConSol-Lab/Pumpkin:developfrom RobbinBaauw:feat/improve-not-equalRobbinBaauw/Pumpkin:feat/improve-not-equalCopy head branch name to clipboard

+54-20

Commits

Commits on Jan 20, 2025

• feat: improve not equals propagation with lb/ub

  RobbinBaauw

  committed
  f18cecc

  Copy full SHA for f18cecc