Laurent Perron
|
4348795b12
|
fix example
|
2024-11-17 17:29:23 +01:00 |
|
Corentin Le Molgat
|
fc24e25cb3
|
backport cleanup from main
|
2024-11-15 14:42:52 +01:00 |
|
Laurent Perron
|
b899e25cec
|
[CP-SAT] fix a few fuzzer bugs; preserve a bit more hints during presolve; change max_clique heuristics used in presolve
|
2024-11-15 07:30:45 +01:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
ead738883c
|
remove references to logtostderr
|
2024-05-30 10:52:45 +02:00 |
|
Laurent Perron
|
4b9596ddf8
|
improve example
|
2024-05-30 10:52:44 +02:00 |
|
Corentin Le Molgat
|
c76a9a424a
|
backport example/ from main
|
2024-05-30 10:51:54 +02:00 |
|
Mizux Seiha
|
adf0e29582
|
cmake: rework add_cxx_example
* Add mandatory FILE_NAME option
* Add COMPONENT_NAME option
|
2024-01-17 12:03:09 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
5b911b1169
|
[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#
|
2023-12-15 14:10:44 +01:00 |
|
Laurent Perron
|
0bb7d0c58b
|
Merge pull request #3966 from rte-france/feature/xpress_only
Improve the Xpress interface and add dynamic loading of the Xpress library
|
2023-12-11 11:48:24 +01:00 |
|
Laurent Perron
|
afa29bc06a
|
polish examples
|
2023-12-03 16:59:16 +01:00 |
|
Laurent Perron
|
2913419570
|
Change proto to/from file API to use absl::StatusOr; add reader/writer proto_file to model_builder
|
2023-11-20 16:13:18 +01:00 |
|
Andrea Sgattoni
|
4627ddf948
|
xpress tests gracefully exit if Xpress not found
|
2023-11-13 15:00:53 +01:00 |
|
Laurent Perron
|
3706a75256
|
fix bounds
|
2023-11-08 13:48:26 +01:00 |
|
Laurent Perron
|
2048050832
|
polish comments
|
2023-10-27 14:45:54 +02:00 |
|
Laurent Perron
|
ba7735e46f
|
tweak c++ examples
|
2023-10-27 14:25:17 +02:00 |
|
Laurent Perron
|
67d47928f8
|
tweak c++ examples
|
2023-10-27 14:01:38 +02:00 |
|
Laurent Perron
|
43b6cf0f30
|
improve binpacking_2d_sat model
|
2023-10-26 11:00:54 +02:00 |
|
Laurent Perron
|
55642325ce
|
huge improvement to binpacking_2d_sat code
|
2023-10-25 17:05:47 +02:00 |
|
Corentin Le Molgat
|
ce35f5eddf
|
bazel: Fix examples/cpp build
|
2023-10-25 10:57:37 +02:00 |
|
Laurent Perron
|
414850b085
|
polish
|
2023-10-24 17:40:38 +02:00 |
|
Corentin Le Molgat
|
fef3287129
|
examples: fix parse_dimacs_assignment.h
|
2023-10-16 16:03:47 +02:00 |
|
Corentin Le Molgat
|
f8c7250297
|
remove internal links
|
2023-10-16 16:03:47 +02:00 |
|
Corentin Le Molgat
|
265fecb122
|
bazel: fix remove of routing_flags
|
2023-10-04 14:37:34 +02:00 |
|
Laurent Perron
|
d07127d40a
|
[CP-SAT] revisit search heuristics, lns workers search heuristics; scheduling propagation
|
2023-10-02 19:52:11 +02:00 |
|
Laurent Perron
|
9e724b427f
|
polish includes
|
2023-09-21 13:07:50 +02:00 |
|
Laurent Perron
|
af879c6d17
|
big cleanup of includes
|
2023-08-24 17:14:58 +02:00 |
|
Laurent Perron
|
fa6883d544
|
mostly cleaning: remove integral_types.h and basictypes.h
|
2023-08-24 14:52:54 +02:00 |
|
Laurent Perron
|
4eb29c2805
|
one more test
|
2023-08-09 22:37:28 -07:00 |
|
Laurent Perron
|
2f122bcc9b
|
one more test
|
2023-08-09 22:34:09 -07:00 |
|
Laurent Perron
|
6c2c50b51a
|
typo
|
2023-08-09 20:56:39 -07:00 |
|
Laurent Perron
|
6f45c3c5f0
|
more tests for examples/cpp
|
2023-08-09 20:54:52 -07:00 |
|
Laurent Perron
|
e65d24a6f4
|
add more examples/cpp tests
|
2023-08-09 17:44:00 -07:00 |
|
Laurent Perron
|
341bbec963
|
add a few bazel tests to examples/cpp
|
2023-08-09 17:36:49 -07:00 |
|
Corentin Le Molgat
|
aa0e719d02
|
Export examples/cpp/ from google3
* Rework network_routing_sat
|
2023-06-30 12:01:20 +02:00 |
|
Corentin Le Molgat
|
4efde8b29c
|
cleanup
|
2023-06-21 17:32:00 +02:00 |
|
Corentin Le Molgat
|
5ce691ed40
|
cmake: Add License header
|
2023-05-31 11:20:28 +02:00 |
|
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 |
|