Commits

Branch selector

 stable

User selector

lperron

All time

Commit History

Commits on Jan 8, 2026

• [CP-SAT] fix rare crash

  lperron

  committed
  6a603cc

  Copy full SHA for 6a603cc

Commits on Jan 7, 2026

• [CP-SAT] fix vivification bug; more work on encodings

  

  lperron

  authored and

  Mizux

  committed
  8d3645a

  Copy full SHA for 8d3645a

• [CP-SAT] more work on lrat, regroup linear1 presolve methods

  

  lperron

  authored and

  Mizux

  committed
  c8d7710

  Copy full SHA for c8d7710

• [CP-SAT] work on lrat, clause congruence, inprocess ; bug fixes

  

  lperron

  authored and

  Mizux

  committed
  0782d13

  Copy full SHA for 0782d13

• fixes

  

  lperron

  authored and

  Mizux

  committed
  0fe7cb5

  Copy full SHA for 0fe7cb5

Commits on Dec 21, 2025

• Merge pull request #4962 from yoonghm/patch-1

  Show description for 789b01f
  lperron

  authored
  789b01f

  Copy full SHA for 789b01f

Commits on Dec 15, 2025

• fix

  

  lperron

  authored and

  Mizux

  committed
  39b915c

  Copy full SHA for 39b915c

• [CP-SAT] bugfixes

  

  lperron

  authored and

  Mizux

  committed
  4dab47e

  Copy full SHA for 4dab47e

• [CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs

  

  lperron

  authored and

  Mizux

  committed
  562ffd7

  Copy full SHA for 562ffd7

• misc

  

  lperron

  authored and

  Mizux

  committed
  b6c1980

  Copy full SHA for b6c1980

Commits on Dec 9, 2025

• routing improvements

  

  lperron

  authored and

  Mizux

  committed
  1666cf4

  Copy full SHA for 1666cf4

• support copy, deepcopy in python for sorted interval lists

  

  lperron

  authored and

  Mizux

  committed
  97b64b4

  Copy full SHA for 97b64b4

• [CP-SAT] bug fixes, memory utilization reduction; more work on lrat

  

  lperron

  authored and

  Mizux

  committed
  4a2de33

  Copy full SHA for 4a2de33

Commits on Dec 8, 2025

• [CP-SAT] more work on lrat; canonicalize Boolean variables in a few more places

  

  lperron

  authored and

  Mizux

  committed
  b7d1dc6

  Copy full SHA for b7d1dc6

Commits on Dec 5, 2025

• reformat

  

  lperron

  authored and

  Mizux

  committed
  d41e497

  Copy full SHA for d41e497

• [CP-SAT] morework on lrat

  

  lperron

  authored and

  Mizux

  committed
  3b18bdd

  Copy full SHA for 3b18bdd

• more julia

  

  lperron

  authored and

  Mizux

  committed
  69a94a4

  Copy full SHA for 69a94a4

Commits on Dec 1, 2025

• fix

  

  lperron

  authored and

  Mizux

  committed
  cfdbc48

  Copy full SHA for cfdbc48

• [CP-SAT] add soft constraint examples

  

  lperron

  authored and

  Mizux

  committed
  1623b1c

  Copy full SHA for 1623b1c

• [Python] improve support for gil-less python 3.14

  

  lperron

  authored and

  Mizux

  committed
  993ac16

  Copy full SHA for 993ac16

• [Routing] add search event: at optimal

  

  lperron

  authored and

  Mizux

  committed
  6d3a78e

  Copy full SHA for 6d3a78e

• [CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints

  

  lperron

  authored and

  Mizux

  committed
  5661315

  Copy full SHA for 5661315

• tentative fix for #4929

  

  lperron

  authored and

  Mizux

  committed
  fce013c

  Copy full SHA for fce013c

Commits on Nov 24, 2025

• backport sat from main

  

  lperron

  authored and

  Mizux

  committed
  cd37bac

  Copy full SHA for cd37bac

Commits on Nov 21, 2025

• [CP-SAT] more work on encodings, lrat

  

  lperron

  authored and

  Mizux

  committed
  7adffcc

  Copy full SHA for 7adffcc

Commits on Nov 18, 2025

• [CP-SAT] fix bugs in lrat, inner clause handling, variable expansion

  

  lperron

  authored and

  Mizux

  committed
  6b518a6

  Copy full SHA for 6b518a6

• fix

  

  lperron

  authored and

  Mizux

  committed
  44dd600

  Copy full SHA for 44dd600

• [CP-SAT] work on lrat; better expansion of variables only appearing in encoding constraints

  

  lperron

  authored and

  Mizux

  committed
  72d75ca

  Copy full SHA for 72d75ca

Commits on Nov 12, 2025

• fix #4907

  

  lperron

  authored and

  Mizux

  committed
  b67dc02

  Copy full SHA for b67dc02

• [CP-SAT] work on lrat; probing; variable encoding

  

  lperron

  authored and

  Mizux

  committed
  29ffc72

  Copy full SHA for 29ffc72

Commits on Nov 5, 2025

• [CP-SAT] Work on linear1 encodings; more work on lrat; cleanup linear2 code; work on probing

  

  lperron

  authored and

  Mizux

  committed
  a7fc268

  Copy full SHA for a7fc268

• fix #4746

  

  lperron

  authored and

  Mizux

  committed
  dadaff8

  Copy full SHA for dadaff8

Commits on Sep 29, 2025

• [CP-SAT] little cleanups

  

  lperron

  authored and

  Mizux

  committed
  0cbdbb7

  Copy full SHA for 0cbdbb7

• [FZ] reorganize code; actually generate constant elements

  

  lperron

  authored and

  Mizux

  committed
  2a352d1

  Copy full SHA for 2a352d1

• [CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations

  

  lperron

  authored and

  Mizux

  committed
  5d85f84

  Copy full SHA for 5d85f84

Pagination

Previous

Next