MORPH
SIGN IN SIGN UP
google / or-tools UNCLAIMED

Google's Operations Research tools:

0 0 0 C++

COMMITS

/ ortools/sat/integer_expr_test.cc
main
March 9, 2026
L
[CP-SAT] simplify lns model when possible; reimplement max_hs
Laurent Perron committed
2c54173
February 26, 2026
L
[CP-SAT] work on ModelCopy
Laurent Perron committed
8c23ed9
February 20, 2026
C
base: rework logging management
Corentin Le Molgat committed
c6772d4
October 16, 2025
L
[CP-SAT] work on integer resolution; lrat proofs; optimize scheduling cuts; fix #4875
Laurent Perron committed
c2d8dd4
August 31, 2025
L
[CP-SAT] support enforcement literals for most constraints; support general linear expressions everywhere 1-var affine expressions were expected
Laurent Perron committed
0e7b4c6
July 28, 2025
L
[CP-SAT] more polishing on the python API; fix #4733; improve linear2 processing
Laurent Perron committed
99ede3b
July 26, 2025
L
[CP-SAT] extend support for enforcement literals in constraints
Laurent Perron committed
a0e25de
July 24, 2025
L
[CP-SAT] rewrite and speed up the python layer; extend support for enforcement literals to more constraints
Laurent Perron committed
f2cf147
January 10, 2025
C
Bump copyright to 2025
Corentin Le Molgat committed
c34026b
December 16, 2024
L
[CP-SAT] more work on hints; no_overlap_2d optimization
Laurent Perron committed
05fccb4
December 13, 2024
L
[CP-SAT] speed up no_overlap_2d (presolve, propagation); tweak shared tree workers; improve hint preservation during presolve; remove memory contention
Laurent Perron committed
d406eb1
December 4, 2024
L
[CP-SAT] more work on no_overlap_2d; revisit all includes
Laurent Perron committed
d8c3e49
November 8, 2024
L
[CP-SAT] improve no_overlap_2d propagator, add the try_edge no_overlap_2d in the more-scheduling mode; defensive programming on the table constraint
Laurent Perron committed
17e798f
October 16, 2024
L
[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve
Laurent Perron committed
b8626a3
October 3, 2024
C
sat: export tests from google3
Corentin Le Molgat committed
7c15455