Mizux Seiha
|
4f381f6d07
|
backport from main:
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
|
2025-09-16 16:25:04 +02:00 |
|
Corentin Le Molgat
|
0db80a34f6
|
sat: backport from main
|
2025-08-06 10:54:53 +02:00 |
|
Guillaume Chatelet
|
46f73b3d35
|
Backport trivial changes
|
2025-07-18 16:43:00 +02:00 |
|
Corentin Le Molgat
|
6b668685ab
|
sat: update internal docs
|
2025-05-19 13:48:52 +02:00 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Corentin Le Molgat
|
df5c9411af
|
sat: Fix Python API link
|
2024-05-30 10:52:46 +02:00 |
|
Laurent Perron
|
e33c539a66
|
[CP-SAT] add a sample for bool_var * int_var
|
2024-05-30 10:52:44 +02:00 |
|
Laurent Perron
|
3a08e10bcf
|
[CP-SAT] fix bug with negative sized intervals; improve cumulative variable profile
|
2024-05-30 10:51:55 +02:00 |
|
Laurent Perron
|
511bf047a7
|
backport cp-sat code from main
|
2024-05-30 10:51:53 +02:00 |
|
Laurent Perron
|
1d546a3300
|
fix go includes
|
2024-01-08 15:28:04 +01:00 |
|
Laurent Perron
|
429f04ab8a
|
[CP-SAT] optimize linear constraint memory; add go code and samples (without any build instructions)
|
2024-01-08 10:52:30 +01:00 |
|
Laurent Perron
|
a8cf3195d2
|
more PEP8 work
|
2023-11-17 11:56:36 +01:00 |
|
Laurent Perron
|
5b6c803db3
|
[CP-SAT] convert to PEP8 convention
|
2023-11-16 19:46:56 +01:00 |
|
Laurent Perron
|
6d1a1b455c
|
[CP-SAT] add pandas support for intervals; new sample that uses them; improve the meta-heuristics in feasibility_jump
|
2023-10-09 18:07:11 +02:00 |
|
Laurent Perron
|
4255e18c56
|
[CP-SAT] improve lns for makespan objective; fix jeasibility jump check failed; fix non deterministic search with gap limits
|
2023-09-28 14:28:27 +02:00 |
|
Corentin Le Molgat
|
ff9e6bb935
|
remove last integral_types.h
|
2023-09-04 10:24:00 +02:00 |
|
Laurent Perron
|
77e4cc8d7e
|
[CP-SAT] full subtour elimination cuts for circuit; update python doc to black
|
2023-07-01 06:10:55 +02:00 |
|
Laurent Perron
|
09d534a2b7
|
[CP-SAT] rewrite Rins/Rens; fix #3825; cleanups
|
2023-06-17 12:10:17 +02:00 |
|
Laurent Perron
|
4ca1add04e
|
sync after export tool change
|
2023-01-20 14:20:41 +01:00 |
|
Corentin Le Molgat
|
aad0e67975
|
export from google3
|
2022-10-05 15:56:33 +02:00 |
|
Corentin Le Molgat
|
3ec462f647
|
sat: Update doc toc generation
|
2022-02-23 17:42:27 +01:00 |
|
Corentin Le Molgat
|
8a83e4265b
|
doc: mv doc/ to docs/
|
2022-02-23 16:19:26 +01:00 |
|