Corentin Le Molgat
|
3b00b323ba
|
notebook: regenerate them
|
2023-10-27 08:07:07 +02:00 |
|
Corentin Le Molgat
|
0de06db28a
|
bump version to 9.8
|
2023-10-27 08:07:07 +02:00 |
|
Corentin Le Molgat
|
1f811c6489
|
tools/docker: Fix alpine python wheel
|
2023-10-27 08:07:07 +02:00 |
|
Corentin Le Molgat
|
2caf43084b
|
tools/docker: install mypy in manylinux image
|
2023-10-27 08:07:07 +02:00 |
|
Laurent Perron
|
691cbc0b72
|
[CP-SAT] speed up timetable
|
2023-10-26 15:41:29 +02:00 |
|
Laurent Perron
|
43b6cf0f30
|
improve binpacking_2d_sat model
|
2023-10-26 11:00:54 +02:00 |
|
Laurent Perron
|
657d7aed4e
|
polish includes
|
2023-10-26 10:59:39 +02:00 |
|
Laurent Perron
|
b6c986fe41
|
[CP-SAT] enable violation_ls by default
|
2023-10-26 10:59:30 +02:00 |
|
Laurent Perron
|
67145aa29d
|
polish
|
2023-10-25 17:15:26 +02:00 |
|
Laurent Perron
|
55642325ce
|
huge improvement to binpacking_2d_sat code
|
2023-10-25 17:05:47 +02:00 |
|
Laurent Perron
|
044bc5ebce
|
speed up sat scheduling code
|
2023-10-25 17:05:22 +02:00 |
|
Laurent Perron
|
fb7aa1b853
|
[CP-SAT] tweak model cloning API; implement it in java; merge pure sat presolve with normal presolve
|
2023-10-25 15:38:57 +02:00 |
|
Laurent Perron
|
f1d6a0698c
|
tweak model_builder java cloning API
|
2023-10-25 15:38:57 +02:00 |
|
Laurent Perron
|
ecdfcd2871
|
fix includes
|
2023-10-25 15:38:57 +02:00 |
|
Laurent Perron
|
f5c865d6ab
|
tweak model_builder java cloning API
|
2023-10-25 15:38:57 +02:00 |
|
Laurent Perron
|
08e53974c7
|
[CP-SAT] tweak model cloning API; implement it in java; merge pure sat presolve with normal presolve
|
2023-10-25 15:38:57 +02:00 |
|
Corentin Le Molgat
|
7d01f433cf
|
dependencies: Bump SCIP to v804
|
2023-10-25 14:47:24 +02:00 |
|
Corentin Le Molgat
|
7c308c7b09
|
linear_solver: Cleanup python samples
|
2023-10-25 13:57:55 +02:00 |
|
Corentin Le Molgat
|
76fa76f994
|
ci: rework docker workflows
|
2023-10-25 11:25:21 +02:00 |
|
Corentin Le Molgat
|
ce35f5eddf
|
bazel: Fix examples/cpp build
|
2023-10-25 10:57:37 +02:00 |
|
Corentin Le Molgat
|
74690b48b2
|
cmake(ci): fix pybind11_protobuf missing in system_deps targets
|
2023-10-25 10:09:19 +02:00 |
|
Corentin Le Molgat
|
4d6d59fc83
|
cmake(ci): Fix docker python jobs
|
2023-10-25 09:32:44 +02:00 |
|
Corentin Le Molgat
|
70149fddc5
|
math_opt: disable some tests when USE_SCIP=OFF
|
2023-10-25 09:29:05 +02:00 |
|
Laurent Perron
|
414850b085
|
polish
|
2023-10-24 17:40:38 +02:00 |
|
Laurent Perron
|
86a8444709
|
Add ModelBuilder.clone() java API + sample
|
2023-10-24 14:50:13 +02:00 |
|
Laurent Perron
|
9939e9d074
|
polish
|
2023-10-24 13:33:46 +02:00 |
|
Laurent Perron
|
d86dfadc86
|
add model cloning to model_builder python + sample
|
2023-10-24 11:44:43 +02:00 |
|
Corentin Le Molgat
|
a9e55b727c
|
rework cmake/Makefile
* add all_<lang>_<stage> target
|
2023-10-23 16:27:13 +02:00 |
|
Corentin Le Molgat
|
54ccee5da7
|
cmake(ci): enable SCIP in system_deps job
|
2023-10-23 14:25:37 +02:00 |
|
Corentin Le Molgat
|
a5b650e203
|
cmake(ci): rework toolchain target
* Add toolchain_ prefix to avoid conflict with "platform" targets
* Update workflows
* Fix mipsel/mips64el target in cross_compile.sh
|
2023-10-23 14:15:07 +02:00 |
|
Corentin Le Molgat
|
80193d18fb
|
cmake(ci): fix platform clean target
|
2023-10-23 13:13:42 +02:00 |
|
Corentin Le Molgat
|
daf3e6e663
|
cmake(ci): Add web targets usage
|
2023-10-23 13:12:58 +02:00 |
|
Corentin Le Molgat
|
e1f9febd8e
|
cmake(python): Add GENERATE_PYTHON_STUB option (Fix #3944)
|
2023-10-23 11:01:26 +02:00 |
|
Laurent Perron
|
f36ad15224
|
[CP-SAT] fix #3958; more work on stats; fix a few potential overflows
|
2023-10-20 17:20:43 +02:00 |
|
Corentin Le Molgat
|
bbf8089f9e
|
bazel(ci): Rework Dockerfile
|
2023-10-20 15:08:37 +02:00 |
|
Corentin Le Molgat
|
06738a693d
|
algorithms: google3 sync
|
2023-10-20 15:08:37 +02:00 |
|
Corentin Le Molgat
|
8d036ee0d7
|
make: Rework README.md
|
2023-10-20 15:08:37 +02:00 |
|
Mizux Seiha
|
dd6c68bb62
|
ci: Fix MacOS CMake Python
|
2023-10-20 08:53:41 +02:00 |
|
Laurent Perron
|
ae8bb2dd23
|
[CP-SAT] rewrite the after solver LP log
|
2023-10-19 21:58:05 +02:00 |
|
Corentin Le Molgat
|
98de7d0bd0
|
bazel: Add algorithms test
|
2023-10-19 17:07:09 +02:00 |
|
Mizux Seiha
|
21a92e25da
|
ci: Fix macos CMake Java
|
2023-10-19 17:07:09 +02:00 |
|
Laurent Perron
|
94f3d9b468
|
[CP-SAT] support table constraints with enforcement literals
|
2023-10-19 11:54:24 +02:00 |
|
Mizux Seiha
|
72db8e5b93
|
python: Fix python-install on windows
|
2023-10-19 09:34:55 +02:00 |
|
Mizux Seiha
|
a922fb5b59
|
ci: Fix Windows CMake cpp job
|
2023-10-19 09:34:55 +02:00 |
|
Mizux Seiha
|
22119e6d74
|
cmake(ci): fix opensuse python job
|
2023-10-19 09:34:55 +02:00 |
|
Corentin Le Molgat
|
9239362792
|
cmake: tentative fix for #3709
|
2023-10-19 09:34:55 +02:00 |
|
Laurent Perron
|
01dd97f64e
|
[CP-SAT] support int_prod with arity > 2; fix a few bugs, mostly around unsat models; add parameters for lp tolerance; optimize the code on hot spot
|
2023-10-18 15:47:37 +02:00 |
|
Laurent Perron
|
02c993cebe
|
fix flags support for fz
|
2023-10-18 15:44:19 +02:00 |
|
Corentin Le Molgat
|
57ec0e6561
|
ci: limit cmake build to 2 parallel jobs.
|
2023-10-16 17:09:17 +02:00 |
|
Corentin Le Molgat
|
fef3287129
|
examples: fix parse_dimacs_assignment.h
|
2023-10-16 16:03:47 +02:00 |
|