Laurent Perron
|
241d6cd286
|
add logging to integer/linear_programming; keep absl log symbols in libortools, enable GLPK in bazel
|
2023-03-09 14:40:16 +01:00 |
|
Laurent Perron
|
dbd5a69471
|
use new logging flags
|
2023-02-17 15:17:12 +01:00 |
|
Laurent Perron
|
f7b0c37f0c
|
fix
|
2023-02-11 04:27:31 -08:00 |
|
Laurent Perron
|
064b3efd74
|
cleanup code; move solve.cc to ortools/linear_solver
|
2023-02-10 15:45:53 -08:00 |
|
Laurent Perron
|
fa478b8071
|
move sat_runner from examples/cpp to ortools/sat
|
2023-02-10 12:52:57 -08:00 |
|
Laurent Perron
|
844dc62117
|
fix
|
2023-02-01 14:41:47 +01:00 |
|
Laurent Perron
|
2c50d8bc16
|
Add absl::Stringify for protobufs in base/logging.h; fixes all around
|
2023-02-01 14:14:30 +01:00 |
|
Laurent Perron
|
e9f9404923
|
Remove logging code; use absl one
|
2023-01-31 20:46:43 +01:00 |
|
Laurent Perron
|
c0e5ca1cd1
|
disable assert on windows; fix test
|
2022-10-11 16:23:29 +02:00 |
|
Laurent Perron
|
cbe7bed968
|
qap_sat: exit gracefully if no input file
|
2022-10-11 16:08:47 +02:00 |
|
Laurent Perron
|
c33e3a3bbe
|
polish
|
2022-10-10 17:21:40 +02:00 |
|
Laurent Perron
|
a25d93fcfa
|
qap_sat solver and qap reader
|
2022-10-10 15:03:10 +02:00 |
|
Laurent Perron
|
9321ab2096
|
update and fix examples
|
2022-09-09 16:49:24 +02:00 |
|
Laurent Perron
|
a3d0375dc8
|
fix #3087
|
2022-08-31 06:41:23 +02:00 |
|
Laurent Perron
|
fda295e6b3
|
Merge branch 'main' of github.com:google/or-tools
|
2022-08-29 16:00:40 +02:00 |
|
Laurent Perron
|
7072ae92ec
|
do not call cxx_cpp_pdlp_solve #3429
|
2022-08-29 16:00:30 +02:00 |
|
Corentin Le Molgat
|
82019bf532
|
cmake: disable compile and run of pdlp_solve
todo(mizux): add option to only build but do not run examples needing input files
|
2022-08-29 11:35:27 +02:00 |
|
Miles Lubin
|
c1fe194978
|
direct CLI example for PDLP
|
2022-08-08 09:07:42 +02:00 |
|
Laurent Perron
|
ad1b8ee5e4
|
set problem name; ure richer model for rcpsp
|
2022-07-28 00:22:08 +02:00 |
|
Corentin Le Molgat
|
5863a63d19
|
export from google3
|
2022-06-22 18:09:44 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Corentin Le Molgat
|
383952f51c
|
make: Fix jobshop_sat run
note: the parser is file extension dependent...
|
2022-06-07 18:01:13 +02:00 |
|
Corentin Le Molgat
|
6c329fe3fc
|
examples: remove ref to examples/data
|
2022-06-02 18:12:46 +02:00 |
|
Laurent Perron
|
b3582ca743
|
remove redundant linear relaxation for the durations of tasks in the jobshop example
|
2022-04-21 17:30:26 +02:00 |
|
Corentin Le Molgat
|
87f89bf031
|
examples/cpp: update solve.cc
|
2022-04-06 11:15:58 +02:00 |
|
Miles Lubin
|
041292f9c4
|
Update solve.cc's solver flag docs to include pdlp
|
2022-04-05 16:44:24 -04:00 |
|
Mizux Seiha
|
b80888850e
|
example: migrate sat_runner to CMake
|
2022-03-30 16:34:21 +02:00 |
|
Laurent Perron
|
cce9c57758
|
fix examples
|
2022-03-25 10:07:27 +01:00 |
|
Laurent Perron
|
c82cfdc9ad
|
remove map_util from most of the code; absl::make_unique and absl::optional -> stl version
|
2022-03-09 09:08:40 +01:00 |
|
Laurent Perron
|
36a094455a
|
Enable PDLP in MPSolver
|
2022-02-25 19:30:02 +01:00 |
|
Laurent Perron
|
4c8570a57c
|
use init_google.h in c++ examples
|
2022-02-25 09:47:52 +01:00 |
|
Corentin Le Molgat
|
985b6a9239
|
Fix clang-format in examples/
|
2022-02-16 16:19:26 +01:00 |
|
Laurent Perron
|
0e11ae7986
|
fix example
|
2022-01-20 21:30:24 +01:00 |
|
Laurent Perron
|
daed848eba
|
fix bazel/filelineiter
|
2022-01-19 10:32:55 +01:00 |
|
Laurent Perron
|
c8d5ab2df4
|
fix bazel/filelineiter
|
2022-01-19 10:31:35 +01:00 |
|
Laurent Perron
|
58a32b0510
|
improve binpacking_2d_sat.cc example
|
2022-01-08 14:45:54 +01:00 |
|
Laurent Perron
|
ceabca677c
|
[CP-SAT] ScalProd -> WeightedSum
|
2022-01-04 19:35:22 +01:00 |
|
Laurent Perron
|
79f2c45c33
|
[CP-SAT] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right
|
2022-01-01 19:26:39 +01:00 |
|
Laurent Perron
|
22398bfad2
|
format
|
2021-12-30 18:59:22 +01:00 |
|
Laurent Perron
|
0a822872ed
|
fix binpacking_2d_sat model
|
2021-12-30 18:59:09 +01:00 |
|
Laurent Perron
|
32f8ce88dd
|
fix
|
2021-12-29 17:41:57 +01:00 |
|
Laurent Perron
|
9d79484058
|
improve knapsack_2d_sat.cc and binpacking_2d_sat.cc code
|
2021-12-22 09:53:33 +01:00 |
|
Laurent Perron
|
b98b391102
|
fix cmake
|
2021-12-18 19:15:40 +01:00 |
|
Laurent Perron
|
c352c1c391
|
[Packing] Parser and protobuf for 2bp files; add example to solve then as a binpacking or as a knapsack example
|
2021-12-18 18:16:52 +01:00 |
|
Laurent Perron
|
0c22a715b2
|
[CP-SAT] improve doc on C++ builder API; rewrite python API to remove the DoubleLinearExpr class
|
2021-12-14 17:15:17 +01:00 |
|
Laurent Perron
|
6f5052f668
|
simplify sat runner
|
2021-12-13 10:45:53 +01:00 |
|
Laurent Perron
|
bd51fa48c4
|
implement #2699
|
2021-12-12 08:11:11 +01:00 |
|
Laurent Perron
|
a7a4d84f42
|
[CP-SAT] improve cp_model.h; improve examples with arithmetic operators
|
2021-12-11 12:24:04 +01:00 |
|
Laurent Perron
|
6ae332569b
|
natural API for Cp_SAT C++
|
2021-12-09 15:29:49 +01:00 |
|
Laurent Perron
|
2d22667f30
|
[CP-SAT] deprecate BooleanSum and BooleanScalProd in favor of Sum and ScalProd
|
2021-12-08 16:29:40 +01:00 |
|