Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +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
|
00885d45bd
|
sat: backport from main
|
2024-11-15 14:40:47 +01:00 |
|
Laurent Perron
|
8627cbf9b8
|
[CP-SAT] improve cumulative relaxation; more spans
|
2024-02-16 23:13:09 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
b8f224a8e1
|
[CP-SAT] tweak default search; improve scheduling cuts; move no_overlap_2d cuts in its own file; improve feasibility_jump; improve and speedup presolve
|
2023-09-21 13:07:09 +02:00 |
|
Laurent Perron
|
fa6883d544
|
mostly cleaning: remove integral_types.h and basictypes.h
|
2023-08-24 14:52:54 +02:00 |
|
Laurent Perron
|
6d8495f423
|
[CP-SAT] improve core based search with more core reduction
|
2023-07-27 08:49:46 -07:00 |
|
Laurent Perron
|
e1e91ce7ce
|
rewrite core based search
|
2023-07-24 13:20:27 -07:00 |
|
Laurent Perron
|
65eedeb038
|
[CP-SAT] revisit core based search; polish graph_arc_lns
|
2023-07-17 14:41:57 -07:00 |
|
Laurent Perron
|
1ff59b03c0
|
[CP-SAT] tweak table_with_cost code (still off by default); improve core search when a lot of literals are in a sub-at_most_one
|
2023-07-09 13:45:48 +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
|
13dbe6a387
|
[CP-SAT] fix crash in core search and in presolve; add more needed stl includes
|
2022-03-14 15:06:11 +01:00 |
|
Laurent Perron
|
951e8bbc1e
|
bump pdlp; add log to linear_solver proto; fix bug in CP-SAT
|
2022-02-21 17:26:34 +01:00 |
|
Bruno Pitrus
|
5847986bee
|
Fix build with debug GNU STL
|
2022-02-18 13:36:59 +01:00 |
|
Laurent Perron
|
29662f2006
|
[CP-SAT] Improve assumptions algorithm; tweak lb_tree_search
|
2022-02-17 16:20:21 +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 |
|
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
|
bcb7b3073d
|
large synchro with internal code: linear solver: introduce intermediate SCIP layer called gscip; sat: more work on slow propagation detection; base: remove statusor, use abseil version; constraint solver: more work on internal local search
|
2020-10-18 16:38:25 +02:00 |
|
Mizux Seiha
|
f087564d84
|
cpp: Format all files in ortools
|
2020-09-23 12:06:10 +02:00 |
|
Mizux Seiha
|
a6ecb4f0a4
|
sat: Fix debug build on windows (#2147)
|
2020-09-16 10:59:59 +02:00 |
|
Laurent Perron
|
581d5606e0
|
fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version
|
2020-05-06 18:22:10 +02: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
|
2c7a8bf8f6
|
change copyright date
|
2017-10-17 13:08:10 +02:00 |
|
Laurent Perron
|
7155047b85
|
cleanup includes in sat
|
2017-07-27 11:28:55 -07: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 |
|