Laurent Perron
|
6a603cc183
|
[CP-SAT] fix rare crash
|
2026-01-08 13:09:17 +01:00 |
|
Laurent Perron
|
c8d7710fd7
|
[CP-SAT] more work on lrat, regroup linear1 presolve methods
|
2026-01-07 15:57:21 +01:00 |
|
Laurent Perron
|
0782d13065
|
[CP-SAT] work on lrat, clause congruence, inprocess ; bug fixes
|
2026-01-07 15:51:36 +01:00 |
|
Laurent Perron
|
0fe7cb5dbd
|
fixes
|
2026-01-07 15:48:58 +01:00 |
|
Laurent Perron
|
562ffd7eed
|
[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs
|
2025-12-15 13:07:29 +01:00 |
|
Laurent Perron
|
4a2de332ce
|
[CP-SAT] bug fixes, memory utilization reduction; more work on lrat
|
2025-12-09 19:09:37 +01:00 |
|
Laurent Perron
|
b7d1dc65dc
|
[CP-SAT] more work on lrat; canonicalize Boolean variables in a few more places
|
2025-12-08 11:24:06 +01:00 |
|
Laurent Perron
|
3b18bdd58b
|
[CP-SAT] morework on lrat
|
2025-12-05 08:27:10 +01:00 |
|
Laurent Perron
|
7adffccc0d
|
[CP-SAT] more work on encodings, lrat
|
2025-11-21 11:21:34 +01:00 |
|
Laurent Perron
|
6b518a65e5
|
[CP-SAT] fix bugs in lrat, inner clause handling, variable expansion
|
2025-11-18 23:24:48 +01:00 |
|
Laurent Perron
|
72d75ca109
|
[CP-SAT] work on lrat; better expansion of variables only appearing in encoding constraints
|
2025-11-18 16:24:18 +01:00 |
|
Laurent Perron
|
29ffc72cf3
|
[CP-SAT] work on lrat; probing; variable encoding
|
2025-11-12 17:21:04 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Laurent Perron
|
5d85f840b5
|
[CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations
|
2025-09-29 16:35:16 +02:00 |
|
Laurent Perron
|
188cfcbde5
|
[CP-SAT] work on precedences; improve scheduling cuts
|
2025-05-27 14:34:42 +02:00 |
|
Laurent Perron
|
5e6f8cf332
|
fixes
|
2025-05-14 16:58:39 +02:00 |
|
Laurent Perron
|
f54ac85858
|
[CP-SAT] support pb24 problem formats; speed ups 2d packing; bugfixes; cleanups
|
2025-04-02 19:13:51 +02:00 |
|
Corentin Le Molgat
|
62dca6e486
|
backport vlog_is_on.h patch from main
|
2025-03-13 15:56:35 +01:00 |
|
Laurent Perron
|
a4b37b6465
|
large sync with main
|
2025-03-07 10:33:36 +01:00 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Laurent Perron
|
df31847650
|
[CP-SAT] more model copy in its own library; few more fuzzer bugs fixed; add simple presolve rule
|
2025-01-24 14:11:24 +01:00 |
|
Laurent Perron
|
c71e734199
|
[CP-SAT] rewrite python memory management; optimize object creation in the python layer; fix plenty of fuzzer bugs; better processing of fixed rectangles in no_overlap_2d
|
2025-01-19 12:04:23 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
dba2281f13
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:28 +01:00 |
|
Corentin Le Molgat
|
c41dbb8e43
|
st: Fixup export from google3
|
2024-10-07 11:08:38 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
3c5c99c278
|
[CP-SAT] speed up processing of at most ones; add named subsolver parameters for lns and shared_tree workers
|
2024-03-04 18:07:17 +01:00 |
|
Laurent Perron
|
5ad4300122
|
[CP-SAT] add parameter to specify how to process large bounds when solver a MIP problem
|
2024-01-22 16:46:54 +01:00 |
|
Laurent Perron
|
ce58010fb2
|
memory optimization; speed optimization; fix #4047
|
2024-01-12 16:31:18 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
47306a72ca
|
[CP-SAT] more work on clause management
|
2023-12-13 16:14:35 +01:00 |
|
Laurent Perron
|
5bd09c376e
|
[CP-SAT] fix c++ decision strategy API; fix #4013; tweak in processing and its parameters; tweak energetic diffn code
|
2023-12-12 16:20:02 +01:00 |
|
Laurent Perron
|
00fd31bd6d
|
[CP-SAT] rewrite clause management; improve probing by probing clauses and at_most_ones from the SAT engine; experimental no_overlap_2d energetic propagator code
|
2023-12-04 15:06:08 +01: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
|
94f3d9b468
|
[CP-SAT] support table constraints with enforcement literals
|
2023-10-19 11:54:24 +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
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
c08b48d25b
|
[CP-SAT] improve oveflow detection in cuts; fix fingerprint; add objective_lb_search
|
2022-12-12 17:19:20 +01:00 |
|
Laurent Perron
|
87ca4f58ad
|
[CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search
|
2022-06-16 15:21:00 +02:00 |
|
Laurent Perron
|
2a5a2b7069
|
remove types warnings; add stronger scheduling cuts
|
2022-04-06 17:33:00 +02:00 |
|
Laurent Perron
|
6d7ea81ae7
|
few bugfixes in CP-SAT
|
2022-02-23 17:10:23 +01:00 |
|
Laurent Perron
|
8fe2df9a18
|
[CP-SAT] regenerates all includes; improve core solver when the objective is pseudo-boolean
|
2022-02-15 18:00:11 +01:00 |
|
Mizux Seiha
|
8bb54b04ef
|
Bump Copyright to 2021
FYI:
find ortools \( -type d -name .git -prune \) -o -type f -print0 | xargs -0 sed -i 's/\(Copyright 2010\)-2018/\1-2021/g'
|
2021-04-01 21:00:53 +02:00 |
|
Laurent Perron
|
bad5c2032b
|
int64 -> int64_t
|
2021-03-04 18:26:01 +01:00 |
|
Laurent Perron
|
3f177174a8
|
[CP-SAT] rewrite random management; experimental support for affine expressions in the interval definition; cache precedence literals and constraints across reservoir constraints; fix presolve for the element constraint
|
2020-12-18 10:16:56 +01:00 |
|
Laurent Perron
|
d5c7c48e79
|
int_type_indexed_vector -> strong_vector; polish cp-sat probing workers
|
2020-11-19 00:17:26 +01:00 |
|
Laurent Perron
|
6467dc69b0
|
reformat the code; [CP-SAT] add dominated columns presolve
|
2020-10-28 13:42:51 +01:00 |
|
Mizux Seiha
|
20d0496bfb
|
reapply google format
|
2020-10-23 00:45:17 +02:00 |
|
Laurent Perron
|
a4258f2bdf
|
switch flags setters and getters to the absl format
|
2020-10-21 00:21:54 +02:00 |
|
Laurent Perron
|
751e38e5c2
|
improve sat branching and restart heuristics
|
2020-08-26 22:14:59 +02:00 |
|