COMMITS
/ ortools/sat/integer_expr_test.cc March 9, 2026
L
[CP-SAT] simplify lns model when possible; reimplement max_hs
Laurent Perron committed
February 26, 2026
L
[CP-SAT] work on ModelCopy
Laurent Perron committed
February 20, 2026
C
base: rework logging management
Corentin Le Molgat committed
October 16, 2025
L
[CP-SAT] work on integer resolution; lrat proofs; optimize scheduling cuts; fix #4875
Laurent Perron committed
August 31, 2025
July 28, 2025
L
[CP-SAT] more polishing on the python API; fix #4733; improve linear2 processing
Laurent Perron committed
July 26, 2025
L
[CP-SAT] extend support for enforcement literals in constraints
Laurent Perron committed
July 24, 2025
January 10, 2025
C
Bump copyright to 2025
Corentin Le Molgat committed
December 16, 2024
L
[CP-SAT] more work on hints; no_overlap_2d optimization
Laurent Perron committed
December 13, 2024
December 4, 2024
L
[CP-SAT] more work on no_overlap_2d; revisit all includes
Laurent Perron committed
November 8, 2024
October 16, 2024
October 3, 2024
C
sat: export tests from google3
Corentin Le Molgat committed