Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Laurent Perron
|
0cbdbb78f1
|
[CP-SAT] little cleanups
|
2025-09-29 16:35:28 +02: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 |
|
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 |
|
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 |
|
Laurent Perron
|
dbe123f225
|
[CP-SAT] more spans; one more case of preserving hints during presolve; new packing LNS; propagate objective in LNS
|
2024-12-02 17:22:36 +01:00 |
|
Corentin Le Molgat
|
a72b8b25ff
|
sat: export tests from google3
|
2024-10-07 08:25:27 +02:00 |
|
Laurent Perron
|
76f2f4c383
|
[CP-SAT] internal protocol improvements; bug fixes
|
2024-09-03 18:19:19 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
407c9bb5dc
|
[CP-SAT] fix overflow in presolve, check failed in feasibility_jump; remove obsolete macro
|
2023-08-30 10:04:11 -04:00 |
|
Laurent Perron
|
fa6883d544
|
mostly cleaning: remove integral_types.h and basictypes.h
|
2023-08-24 14:52:54 +02:00 |
|
Laurent Perron
|
5024c23691
|
[CP-SAT] new lns (graph_dec_lns); internal code cleaning
|
2023-06-22 15:43:31 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02: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
|
8fe2df9a18
|
[CP-SAT] regenerates all includes; improve core solver when the objective is pseudo-boolean
|
2022-02-15 18:00:11 +01:00 |
|
Laurent Perron
|
321d02c17c
|
more strong integer types; use them in CP-SAT; polish shaving code; remove 1 overflow in cuts
|
2022-02-07 14:31:18 +01:00 |
|
Laurent Perron
|
068a71104a
|
[CP-SAT] fix cumulative presolve; use strong_index
|
2022-02-04 14:20:08 +01:00 |
|
Corentin Le Molgat
|
4defaa23ed
|
Export strong_int.h
|
2022-01-31 18:44:25 +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 |
|
Corentin Le Molgat
|
e4caaf96bc
|
format file forcing the left alignment
|
2020-10-29 14:25:39 +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
|
11311ec8c7
|
fix bug with hinting + core in CP-SAT
|
2019-04-03 18:10:56 +02:00 |
|
Laurent Perron
|
d0ab53b8ae
|
simplify diffn constraint; polish linear presolve; add experimental quick restart heuristics
|
2019-02-19 10:25:30 +01:00 |
|
Laurent Perron
|
f92f7ba425
|
move diffn code to another file/lib
|
2019-02-17 19:13:08 +01:00 |
|
Laurent Perron
|
c233d4eb3a
|
rewrite diffn
|
2019-02-15 19:07:16 +01:00 |
|
Laurent Perron
|
87b9d55b21
|
update license headers
|
2018-11-10 18:00:53 +01:00 |
|
Laurent Perron
|
70e73d8754
|
clang-format
|
2018-06-08 16:40:43 +02:00 |
|
Laurent Perron
|
f4af14a316
|
more propagation in the sat solver when a node has a set of dependencies where one of them must be chosed
|
2017-11-16 13:31:53 +01:00 |
|
Laurent Perron
|
2c7a8bf8f6
|
change copyright date
|
2017-10-17 13:08:10 +02:00 |
|
Laurent Perron
|
e8540c1363
|
add vrp constraint to the sat solver; remove old no_cycle code
|
2017-10-16 11:20:54 +02:00 |
|
Laurent Perron
|
7155047b85
|
cleanup includes in sat
|
2017-07-27 11:28:55 -07:00 |
|
Laurent Perron
|
4e61af5cb0
|
more presolve on sat solver; work on glop
|
2017-06-12 16:01:54 +02:00 |
|
Laurent Perron
|
66b8d23079
|
move src to ortools; simplified python generation; remove some namespaces in the ortools/base helper files
|
2017-04-26 17:30:25 +02:00 |
|