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 |
|
Laurent Perron
|
ee241f30b5
|
[CP-SAT] supports affine expression in automaton
|
2024-10-25 13:15:40 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
9931205f7c
|
[CP-SAT] prepare for reservoir with variable demand; internal tweakes
|
2022-09-09 16:48:39 +02:00 |
|
Laurent Perron
|
5b44519e94
|
[CP-SAT] various bugfixes from fuzzer
|
2022-08-29 17:47:30 +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 |
|
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
|
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 |
|
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
|
7f5f7b471a
|
revisit presolve/expand + minor fixes
|
2019-09-16 23:39:23 +02:00 |
|
Laurent Perron
|
dfc84fadeb
|
work on sat presolve, model loading
|
2019-02-06 17:57:45 +01:00 |
|
Laurent Perron
|
087868bcc2
|
maintenance on swig files; merge presolve context and expand context; minor fixes in the code
|
2019-02-05 15:06:47 +01:00 |
|
Laurent Perron
|
61a2b13fcf
|
improve CP-SAT presolver, add Gomory (off by default) and MIR (naive, off by default) to the CP-SAT solver; improve CP-SAT logging
|
2019-01-17 16:12:58 +01:00 |
|
Laurent Perron
|
87b9d55b21
|
update license headers
|
2018-11-10 18:00:53 +01:00 |
|
Laurent Perron
|
b06472bf44
|
small improvements in sat internals; add reservoir constraint to the cp_model {proto, python API)
|
2017-11-10 18:32:16 +01:00 |
|