Laurent Perron fab05c81d2 [CP-SAT] regroup hint code; fix more fuzzer bugs

2025-01-21 15:33:35 +01:00

..

BUILD.bazel

more work on CP-SAT python; lots of fixes for bugs found by fuzzer

2025-01-10 22:25:44 +01:00

CMakeLists.txt

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

cp_model_helper_test.py

test floats that print reliably

2025-01-14 18:27:28 +01:00

cp_model_helper.cc

[CP-SAT] regroup all hint preservation code in a SolutionCrunch class; more work on no_overlap_2d propagator; add exception processing if an exceptions is raised in a python callback (solution, log, best_bound)

2025-01-20 14:59:53 +01:00

cp_model_numbers_test.py

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

cp_model_numbers.py

more work on CP-SAT python; lots of fixes for bugs found by fuzzer

2025-01-10 22:25:44 +01:00

cp_model_test.py

[CP-SAT] regroup hint code; fix more fuzzer bugs

2025-01-21 15:33:35 +01:00

cp_model.py

[CP-SAT] regroup hint code; fix more fuzzer bugs

2025-01-21 15:33:35 +01:00

linear_expr_doc.h

more work on CP-SAT python; lots of fixes for bugs found by fuzzer

2025-01-10 22:25:44 +01:00

linear_expr.cc

do not create new expressions on no-op modifications

2025-01-19 12:01:56 +01:00

linear_expr.h

[CP-SAT] regroup hint code; fix more fuzzer bugs

2025-01-21 15:33:35 +01:00