Laurent Perron
|
56613156ce
|
[CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints
|
2025-12-01 17:44:18 +01:00 |
|
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 |
|
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 |
|
Laurent Perron
|
d432627bbc
|
cleanups
|
2025-03-24 04:53:51 -07:00 |
|
Laurent Perron
|
a4b37b6465
|
large sync with main
|
2025-03-07 10:33:36 +01:00 |
|
Laurent Perron
|
6fffbf6ecf
|
minor sync
|
2025-01-03 08:14:50 +01:00 |
|
Laurent Perron
|
3cfe81dce1
|
polish example
|
2024-12-06 16:55:27 +01:00 |
|
Laurent Perron
|
1ff812043a
|
improve sequence constraints sample
|
2024-12-06 15:21:14 +01:00 |
|
Laurent Perron
|
83a434dc47
|
[CP-SAT] improve propagation; more hint preservation; polish last sample
|
2024-12-06 11:49:16 +01:00 |
|
Laurent Perron
|
4455ecf928
|
[CP-SAT] add new scheduling example; improve hint preservation; add rare crash in presolve
|
2024-12-05 18:41:15 +01: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
|
ca7adbba2e
|
improve CP-SAT sample
|
2024-05-30 10:52:44 +02:00 |
|
Laurent Perron
|
16907575a6
|
[CP-SAT] improve 2d packing; fix cumulative with variable profile sample
|
2024-05-30 10:52:44 +02:00 |
|
Laurent Perron
|
4cbd27dae9
|
sync with main
|
2024-05-30 10:52:42 +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
|
91fe48478d
|
reformat
|
2024-05-30 10:51:55 +02:00 |
|
Laurent Perron
|
1d3d09242f
|
add output to recipe
|
2024-05-30 10:51:54 +02:00 |
|
Laurent Perron
|
97cf1237e0
|
[CP-SAT] new sample;improve no_overlap_2d code
|
2024-05-30 10:51:54 +02:00 |
|
Laurent Perron
|
511bf047a7
|
backport cp-sat code from main
|
2024-05-30 10:51:53 +02:00 |
|
Laurent Perron
|
a7aca7e53a
|
improve comments
|
2024-02-18 18:34:39 +01: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
|
5b911b1169
|
[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#
|
2023-12-15 14:10:44 +01:00 |
|
Laurent Perron
|
ddf88f35a9
|
improve cp-sat python types
|
2023-11-22 17:33:01 +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
|
67145aa29d
|
polish
|
2023-10-25 17:15:26 +02:00 |
|
Laurent Perron
|
08e53974c7
|
[CP-SAT] tweak model cloning API; implement it in java; merge pure sat presolve with normal presolve
|
2023-10-25 15:38:57 +02:00 |
|
Laurent Perron
|
40b213ff95
|
missing navbar
|
2023-10-16 09:34:58 +02:00 |
|
Laurent Perron
|
7841ed4017
|
fix fuzzer bug on checker
|
2023-10-16 09:08:09 +02:00 |
|
Laurent Perron
|
f1bbd650ab
|
[CP-SAT] add automatic cast Literal -> LiteralIndex; implement general division where the denominator can have any domain that does not contain 0
|
2023-10-12 10:06:27 +02:00 |
|
Laurent Perron
|
9d70c5eb03
|
[CP-SAT] polish troubleshooting section; improve feasibility_jump meta-heuristics; add debug DCHECKs
|
2023-10-11 14:25:38 +02:00 |
|
Laurent Perron
|
513cdc1892
|
fix
|
2023-10-10 11:11:44 +02: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
|
5ace9d7c4a
|
fix
|
2023-10-08 14:55:12 +02:00 |
|
Laurent Perron
|
9e2770f8bd
|
[CP-SAT] extensive work on scheduling; add new cumulative with profile example
|
2023-10-08 11:21:00 +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 |
|
Laurent Perron
|
7aa47f0e1b
|
add scheduling with circuit sample
|
2023-09-21 13:05:46 +02:00 |
|
Corentin Le Molgat
|
ff9e6bb935
|
remove last integral_types.h
|
2023-09-04 10:24:00 +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 |
|
Laurent Perron
|
09d534a2b7
|
[CP-SAT] rewrite Rins/Rens; fix #3825; cleanups
|
2023-06-17 12:10:17 +02:00 |
|