Code

feat: stateful integer#125

Code

Merged

maartenflippo merged 7 commits intodevelopConSol-Lab/Pumpkin:developfrom feat/backtrackable-intConSol-Lab/Pumpkin:feat/backtrackable-intCopy head branch name to clipboardFeb 4, 2025

+448-125

Commits

Commits on Dec 13, 2024

• feat: adding initial stateful integer + adding it to linear less than or equal propagator

  ImkoMarijnissen

  committed
  0ad5990

  Copy full SHA for 0ad5990

• feat: prevent writing to stateful trail if the value is the same

  ImkoMarijnissen

  committed
  14336fc

  Copy full SHA for 14336fc

Commits on Dec 18, 2024

• refactor: move contexts to their own folder

  ImkoMarijnissen

  committed
  b29772e

  Copy full SHA for b29772e

Commits on Jan 23, 2025

• Merge branch 'develop' into feat/backtrackable-int

  ImkoMarijnissen

  committed
  aeda6a2

  Copy full SHA for aeda6a2

• refactor: making a stateful assignments structure

  ImkoMarijnissen

  committed
  5da11b8

  Copy full SHA for 5da11b8

Commits on Feb 3, 2025

• Merge branch 'develop' into feat/backtrackable-int

  ImkoMarijnissen

  committed
  74bc73c

  Copy full SHA for 74bc73c

• chore: renaming to trailed

  ImkoMarijnissen

  committed
  9dc5132

  Copy full SHA for 9dc5132