Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
c8935fcfdf
|
backport from main
|
2025-11-05 12:05:41 +01:00 |
|
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 |
|
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 |
|
Corentin Le Molgat
|
df5c9411af
|
sat: Fix Python API link
|
2024-05-30 10:52:46 +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 |
|
Mizux
|
ed8db9097c
|
sat: Update README.md
|
2023-08-04 10:51:26 +02:00 |
|
Corentin Le Molgat
|
f115d1d8d2
|
sat: README cleanup
|
2023-07-13 10:14:06 +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 |
|
Corentin Le Molgat
|
8d6c172e5c
|
cleanup
|
2023-03-06 18:28:57 +01: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 |
|