Laurent Perron
f119e22b5b
[CP-SAT] improve cumulative propagation, use precedence graph; speedup timetable and cumulative_energy; remove reduced_memory parameter
2022-06-23 16:16:17 +02:00
Corentin Le Molgat
5863a63d19
export from google3
2022-06-22 18:09:44 +02:00
Corentin Le Molgat
0f16563548
math_opt: update
2022-06-22 17:49:58 +02:00
Corentin Le Molgat
5899cbe811
linear_solver: format fix
2022-06-22 14:50:04 +02:00
Corentin Le Molgat
eb99cd6258
util: Fix testing_utils.h
2022-06-22 14:50:04 +02:00
Corentin Le Molgat
70c40212f4
pdlp: cleanup
2022-06-22 14:50:04 +02:00
Mizux Seiha
c1c5739e94
bazel: testing_utils fixup
2022-06-22 14:50:04 +02:00
Corentin Le Molgat
e88481eeec
constraint_solver: fixup
2022-06-22 14:49:59 +02:00
Mizux Seiha
ec506600dc
routing: Fix few DCHECK_NE(*, nullptr)
2022-06-22 08:28:59 +02:00
Mizux Seiha
ebf0581841
Sync from google3
2022-06-22 08:28:59 +02:00
Mizux Seiha
3c5ce507ec
math_opt: Export from google3
...
* Add QuadraticConstraintUpdatesProto
* Fix build
2022-06-22 08:28:52 +02:00
Mizux Seiha
a6ace348d5
Add base/helpers.h
2022-06-22 08:28:30 +02:00
Mizux Seiha
96e6a04af8
base: Make helpers.h depends on file.h
2022-06-22 08:28:30 +02:00
Corentin Le Molgat
d464df7e9a
base: add logging_extensions.h dummy file
2022-06-22 08:28:30 +02:00
Mizux Seiha
9343e599be
bop: Fix EnqueueDecisionAndBacktrackOnConflict call
2022-06-21 11:35:43 +02:00
Mizux Seiha
7a823314eb
export from google3
2022-06-21 11:35:03 +02:00
Corentin Le Molgat
1af55b2be3
Add license boilerplate
2022-06-21 11:25:29 +02:00
Corentin Le Molgat
f010a081d0
bazel(ci): remove LABEL
2022-06-21 10:41:25 +02:00
Corentin Le Molgat
5804d32419
make(ci): remove LABEL
2022-06-21 10:41:25 +02:00
Laurent Perron
d148e77d7c
fix minizinc challenge tools
2022-06-21 08:47:22 +02:00
Corentin Le Molgat
2f3962ee69
update .allstar binary exemption
2022-06-20 08:45:33 +02:00
Corentin Le Molgat
045a5d93b7
Sync google3 github
2022-06-17 14:23:23 +02:00
Corentin Le Molgat
3933eebf84
Fix LICENSE
2022-06-17 14:23:23 +02:00
Corentin Le Molgat
c7120439d4
Bump license date
2022-06-17 14:23:23 +02:00
Laurent Perron
91d1b0072a
prepare minizinc challenge submission
2022-06-17 13:22:11 +02:00
Laurent Perron
2ab1bbbd08
cleanup flatzinc search hacks; small improvement to CP-SAT lb_tree_search
2022-06-17 12:58:36 +02:00
Mizux Seiha
55ffb4abc3
doc: update cmake and bazel README.md
2022-06-16 22:57:15 +02:00
Corentin Le Molgat
6fc897dde2
make: rework archive release management
2022-06-16 22:57:15 +02:00
Laurent Perron
2115d65c35
fix #3343
2022-06-16 19:32:24 +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
8af04faff5
[CP-SAT] introduce decomposed energy and use it in scheduling propagation and cuts; remove duplicate code in presolve; simplify the name of a few parameters; add SchedulingDemandHelper class; re-enable model status in search log
2022-06-16 07:45:19 +02:00
Laurent Perron
f4dcb0c6de
reindent
2022-06-16 07:39:53 +02:00
Laurent Perron
8f66a4494c
add problem name to generated cp_model in rcpsp
2022-06-16 07:39:30 +02:00
Corentin Le Molgat
1e4d6e8dfa
dotnet: Update README.md
2022-06-15 09:21:06 +02:00
Corentin Le Molgat
1fa538529b
tools/docker: Update CMake 3.21.1 -> 3.23.2
2022-06-13 16:41:38 +02:00
Corentin Le Molgat
058a864827
make: Add USE_DOTNET_CORE_31 and USE_DOTNET_6
2022-06-10 17:09:34 +02:00
Corentin Le Molgat
189165d852
cmake(ci): update
2022-06-10 16:59:55 +02:00
Corentin Le Molgat
0a51097f74
tools/docker: Fix ubuntu andarchlinux dotnet build
2022-06-10 16:59:32 +02:00
Corentin Le Molgat
78939381c2
cmake(ci): use zypper refresh on opensuse
2022-06-10 16:32:35 +02:00
Corentin Le Molgat
cbc5674ffb
cmake(dotnet): Use USE_DOTNET_CORE_31 and USE_DOTNET_6
2022-06-10 16:06:18 +02:00
Mizux Seiha
30f58f4892
ci: Add system deps jobs
2022-06-09 21:21:47 +02:00
Mizux Seiha
7dbfb1fd26
cmake(ci): Add system_deps "distro"
...
* archlinux based distro
* all or-tools deps are retrived from the system wide install
* re2 is a pkgconfig (.pc)
* SCIP is disable (no package available)
* GLPK enable
2022-06-09 21:16:57 +02:00
Mizux Seiha
019acfb86c
cmake: Rewok FindGLPK.cmake
2022-06-09 21:15:03 +02:00
Mizux Seiha
33024913bd
cmake: disable re2 test
2022-06-09 12:39:57 +02:00
Mizux Seiha
b0a78201dd
cmake: Fix GLPK support ( Fix #3312 )
...
* Eigen was spuriously enabling fortran
* Missing GLKP helpers functions
2022-06-09 12:39:57 +02:00
Miles Lubin
7374141757
PDLP: Log corrected_dual_objective ( #3336 )
2022-06-09 00:13:23 +02:00
Corentin Le Molgat
2b5141c347
make(ci): Fix opensuse C++ archive test
2022-06-08 18:23:38 +02:00
Corentin Le Molgat
d95d7827c4
cmake: Cleanup README.md
2022-06-08 15:25:47 +02:00
Corentin Le Molgat
b2d2bc98ac
tools/docker: cleanup
2022-06-08 15:25:30 +02:00
Corentin Le Molgat
7258f2f36d
make(ci): remove call to third_party
2022-06-08 15:25:17 +02:00
