Corentin Le Molgat
|
0db80a34f6
|
sat: backport from main
|
2025-08-06 10:54:53 +02:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
aa12c651b6
|
improve python exprs
|
2025-06-12 14:05:56 +02:00 |
|
Laurent Perron
|
803c4269e2
|
improve python exprs
|
2025-06-12 11:52:16 +02:00 |
|
Laurent Perron
|
abb4301ea2
|
[CP-SAT] minor python improvements (handling of None; remove all names from a model)
|
2025-06-11 15:04:28 +02:00 |
|
Laurent Perron
|
a4d26537d5
|
fix #4654
|
2025-05-21 12:38:03 +02:00 |
|
Laurent Perron
|
d0e75d47e5
|
[CP-SAT] more cleanups; routing cuts experiments
|
2025-03-26 15:12:12 -07:00 |
|
Laurent Perron
|
5341feef73
|
[CP-SAT] add experimental routing constraint; more no_overlap_2d presolve; add random_half branching heuristics
|
2025-01-28 13:34:40 +01:00 |
|
Laurent Perron
|
54b8c24839
|
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
|
2025-01-15 13:51:40 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
701cc87e1e
|
backport from main: sat, graph, lp_data, glop
|
2024-09-13 13:29:25 -07:00 |
|
Laurent Perron
|
511bf047a7
|
backport cp-sat code from main
|
2024-05-30 10:51:53 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
234024ab74
|
[CP-SAT] improve python typing; speed up no_overlap_2d; simplofy lns utilities; fix bug in probing
|
2023-12-19 15:04:12 +01:00 |
|
Laurent Perron
|
a743431365
|
start reformating with black
|
2023-06-27 14:21:34 +02:00 |
|
Laurent Perron
|
32036a6201
|
run all sat python tests under bazel
|
2023-01-23 17:28:11 +01:00 |
|
Laurent Perron
|
fb9c880ea3
|
first cp_model bazel python test
|
2023-01-23 17:10:16 +01:00 |
|