Laurent Perron
|
a7fc26854a
|
[CP-SAT] Work on linear1 encodings; more work on lrat; cleanup linear2 code; work on probing
|
2025-11-05 15:17:38 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Mizux Seiha
|
4f381f6d07
|
backport from main:
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
|
2025-09-16 16:25:04 +02:00 |
|
Laurent Perron
|
e02b6a013c
|
[CP-SAT] update code, mostly small bug fixes
|
2025-08-22 16:06:35 -07:00 |
|
Laurent Perron
|
d1c3c7f84b
|
[CP-SAT] more work on precedences
|
2025-06-12 11:11:26 +02:00 |
|
Laurent Perron
|
9ca57ad2cd
|
[CP-SAT] more precedence handling; minor python improvements
|
2025-06-11 15:03:52 +02:00 |
|
Laurent Perron
|
c7fbf3118d
|
update routing; move theta_tree to util; remove obsolete sat routing code
|
2025-03-29 11:21:26 +01:00 |
|
Laurent Perron
|
e037f914f9
|
more work on sat
|
2025-03-27 06:40:55 -07:00 |
|
Laurent Perron
|
71d308078f
|
[CP-SAT] more cleanups; routing cuts experiments
|
2025-03-26 15:03:38 -07:00 |
|
Laurent Perron
|
7a67706aa9
|
[CP-SAT] more work on routing cuts; graph based LNS start from the objective; better enforcement of time limits
|
2025-03-21 05:45:59 -07:00 |
|
Laurent Perron
|
5e62ddedb8
|
[CP-SAT] more work on routing cuts; improve enforcement of time limits
|
2025-03-19 13:21:49 -07:00 |
|
Corentin Le Molgat
|
4a25d4119d
|
include absl/log/vlog_is_on.h when needed
|
2025-03-13 14:06:31 +01:00 |
|
Laurent Perron
|
e179143414
|
[CP-SAT] fix #4851; improve routing cuts
|
2025-03-06 15:15:12 +01:00 |
|
Laurent Perron
|
8d4ea3d7fc
|
[CP-SAT] more work on routing cuts; fix #4582
|
2025-03-05 14:07:42 +01:00 |
|
Laurent Perron
|
e343956c6d
|
[CP-SAT] more work on routing cuts; do not expand large alldiff; fix a few bugs
|
2025-02-28 18:09:21 +01:00 |
|
Laurent Perron
|
ee23527569
|
big includes cleanup
|
2025-02-24 22:59:21 +01:00 |
|
Laurent Perron
|
1acdd5d6af
|
massive cleanup of includes; work on CP-SAT routing cuts
|
2025-02-21 15:14:38 +01:00 |
|
Laurent Perron
|
3355831c89
|
[CP-SAT] more work on scheduling; collect more info from routing models; more presolve, simplification
|
2025-02-19 13:33:18 +01:00 |
|
Laurent Perron
|
6a339f633f
|
[CP-SAT] update routing/scheduling code; manu bug fixes; improve java doc
|
2025-02-16 15:22:41 +01:00 |
|
Laurent Perron
|
932f6866d9
|
[CP-SAT] polish new cumulative cuts code; more experimental code on routing cuts; cleaning, fixes
|
2025-02-07 22:24:22 +01:00 |
|
Laurent Perron
|
71660f47fd
|
[CP-SAT] fix cumulative cuts
|
2025-02-06 16:51:40 +01:00 |
|
Laurent Perron
|
5c1f3523ef
|
[CP-SAT] experimental routing cuts; new cumulative cuts; improve no_overlap_2d code all around
|
2025-02-05 18:12:01 +01:00 |
|
Corentin Le Molgat
|
c34026b101
|
Bump copyright to 2025
note: done using
```sh
git grep -l "2010-2024 Google" | xargs sed -i 's/2010-2024 Google/2010-2025 Google/'
```
|
2025-01-10 11:33:35 +01:00 |
|
Laurent Perron
|
05fccb4dfe
|
[CP-SAT] more work on hints; no_overlap_2d optimization
|
2024-12-16 14:09:39 +01:00 |
|
Laurent Perron
|
1369b4c3b9
|
[CP-SAT] more work on 2d packing
|
2024-12-05 13:42:37 +01:00 |
|
Laurent Perron
|
d8c3e49e5b
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:10 +01:00 |
|
Laurent Perron
|
a44c32fd54
|
[CP-SAT] optimize binary implication graph; rewrite some no_overlap_2d constraints; lot of spans
|
2024-11-28 15:34:01 +01:00 |
|
Laurent Perron
|
f13f450d13
|
[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:27:30 +01:00 |
|
Laurent Perron
|
c13d2af484
|
[CP-SAT] more absl::Stan; StrongVector namespace change; fix java best bound callback + tests; more presolve
|
2024-05-14 14:43:55 +02:00 |
|
Laurent Perron
|
f48c111bea
|
[CP-SAT] more work on python typing, tring to merge contradictory errors with mypy and pytype; better processing of at_most_one; optional flag to expand lin_max with a set of enforced linear
|
2024-03-12 17:24:29 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
fd3c1084c1
|
[CP-SAT] remove base/cleanup; rewrite code that stores decision strategies to natively use affine expression
|
2023-12-07 19:17:57 +01:00 |
|
Laurent Perron
|
95865a2d96
|
fix bug in circuit cuts
|
2023-11-27 14:43:54 +01:00 |
|
Laurent Perron
|
823ce1188c
|
[CP-SAT] better management of cuts; better overflow detection; do not run feasibility_jump if search is globally finished; fix #3842
|
2023-07-04 14:11:25 +02:00 |
|
Laurent Perron
|
77e4cc8d7e
|
[CP-SAT] full subtour elimination cuts for circuit; update python doc to black
|
2023-07-01 06:10:55 +02:00 |
|
Laurent Perron
|
c3fdb12908
|
Switch algorithms and scheduling python libraries from swig to pybind11; switch protobuf support from forced serialization to pybind11_protobuf -- with patch; [CP-SAT] rewrite cut management; reformat samples with black
|
2023-06-30 22:49:35 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
1bf61aea43
|
[CP-SAT] highly experimental feasibility jump implementation
|
2023-03-31 16:01:15 +02:00 |
|
Laurent Perron
|
59f826fbe3
|
CP-SAT: improve routing cuts
|
2023-01-05 17:46:12 +01:00 |
|
Laurent Perron
|
d636529013
|
missing files
|
2022-10-11 15:02:54 +02:00 |
|