Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Sep 30, 2025

• feat(pumpkin-solver): Adding edge-finding for the disjunctive constraint (#275)

  Show description for 606a7d8
  ImkoMarijnissen

  authored
  606a7d8

  Copy full SHA for 606a7d8

Commits on Sep 10, 2025

• Big-M redefinition for `int_lin_le_reif` (#229)

  Show description for 04739ff
  k-sidorov

  authored
  04739ff

  Copy full SHA for 04739ff

Commits on Aug 13, 2025

• fix: Fixing issue with overloaded warm start annotation (#273)

  ImkoMarijnissen

  authored
  12ad02d

  Copy full SHA for 12ad02d

Commits on Jul 1, 2025

• feat: Implement *_imp constraints for linear arithmetic (#219)

  maartenflippo

  authored
  c00050f

  Copy full SHA for c00050f

Commits on May 22, 2025

• feat: Implement the table and negative table constraints (#194)

  Show description for 49344d6
  maartenflippo

  authored
  49344d6

  Copy full SHA for 49344d6

Commits on Jul 26, 2024

• Setup docker image for challenge submission (#11)

  Show description for 1c92cbb
  maartenflippo

  authored
  1c92cbb

  Copy full SHA for 1c92cbb

Loading