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 |
|
Laurent Perron
|
560826496b
|
BUILD -> BUILD.bazel
|
2021-12-06 14:36:13 +01:00 |
|
Laurent Perron
|
18d001912d
|
remove ortools/base/random.h|cc; adapt code everywhere; increase robustness of glop preprocessor
|
2021-12-06 14:03:19 +01:00 |
|
Laurent Perron
|
025e91973c
|
fix
|
2021-12-02 14:37:14 +01:00 |
|
Laurent Perron
|
a2cf757003
|
remove unused return type
|
2021-12-02 14:34:25 +01:00 |
|
Laurent Perron
|
39b642c3e2
|
re-fix example
|
2021-12-02 11:15:21 +01:00 |
|
Laurent Perron
|
95853b77c3
|
improve example
|
2021-12-02 10:37:22 +01:00 |
|
Laurent Perron
|
6c3425bd04
|
[PACKING] use absl::btree_map instead of std::map; reindent code
|
2021-11-28 12:55:20 +01:00 |
|
Laurent Perron
|
65951e1b13
|
fix example
|
2021-11-19 10:33:29 +01:00 |
|