always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
15,817 Commits 2 Branches 0 Tags
master
Commit Graph

310 Commits

Author SHA1 Message Date
Corentin Le Molgat
87e8e340d8 sat: disable deprecated warnings in cp_model.py 
User can reenable them using:

```py
from ortools.sat.python import cp_model
cp_model.enable_warnings = True
```
 2026-01-08 15:52:28 +01:00
Laurent Perron
0782d13065 [CP-SAT] work on lrat, clause congruence, inprocess ; bug fixes 2026-01-07 15:51:36 +01:00
Laurent Perron
4a2de332ce [CP-SAT] bug fixes, memory utilization reduction; more work on lrat 2025-12-09 19:09:37 +01:00
Laurent Perron
cd37bacd2a backport sat from main 2025-11-24 16:26:34 +01:00
Corentin Le Molgat
1b4d75ceb3 sat: backport from main 2025-11-05 13:55:12 +01:00
Corentin Le Molgat
e53a7fa6f9 cleanup from google3 2025-08-25 10:15:34 +02:00
Laurent Perron
99ede3bbde [CP-SAT] more polishing on the python API; fix #4733; improve linear2 processing 2025-07-28 10:34:04 -07:00
Laurent Perron
374cc3e596 polish code 2025-07-27 15:29:20 -07:00
Laurent Perron
8b4c79dd75 [CP-SAT] Python: rewrite support for variable numbers of arguments 2025-07-26 21:29:09 +02:00
Laurent Perron
f2cf147e79 [CP-SAT] rewrite and speed up the python layer; extend support for enforcement literals to more constraints 2025-07-24 23:51:00 +02:00
Laurent Perron
04d0dbc606 [CP-SAT] optimize the python layer 2025-07-17 17:51:53 +02:00
Laurent Perron
0720713896 [CP-SAT] simplify python proto generation workflow 2025-07-17 12:55:17 +02:00
Laurent Perron
ed8f74273c fix python cp-sat under bazel 2025-07-16 17:41:50 +02:00
Laurent Perron
e5dc796ef6 [CP-SAT] remove the use of python protobufs; use proxies to C++ protobufs instead; this changes slightly the API of these proto for parameters 2025-07-16 16:55:49 +02:00
Laurent Perron
64fcba4be7 [CP-SAT] work on precedences; fix bug in scheduling cuts 2025-06-10 17:25:55 +02:00
Laurent Perron
f91b091050 fix #4641 2025-05-07 13:28:48 +02:00
Laurent Perron
3f0a93e3e2 change cp-sat python cloning example to use deepcopy 2025-03-07 10:30:10 +01:00
Laurent Perron
e179143414 [CP-SAT] fix #4851; improve routing cuts 2025-03-06 15:15:12 +01:00
Laurent Perron
a99e7c833c [CP-SAT] fix #4568 2025-02-25 19:33:33 +01:00
Laurent Perron
766be56171 [CP-SAT] add float value to the CpSolver and solution callback classes 2025-02-17 14:25:29 +01:00
Laurent Perron
757cdeb5e1 [CP-SAT] add experimental routing constraint; more no_overlap_2d presolve; add random_half branching heuristics 2025-01-28 13:34:07 +01:00
Laurent Perron
fab05c81d2 [CP-SAT] regroup hint code; fix more fuzzer bugs 2025-01-21 15:33:35 +01:00
Laurent Perron
67efef00fc [CP-SAT] cleanup python layer 2025-01-19 08:49:52 +01:00
Laurent Perron
8e9930b43f [CP-SAT] more bug fixes; rewrite the memory management of the python layer using shared_ptr; add inprocessing to no_overlap_2d for fixed arrays 2025-01-18 18:45:03 +01:00
Laurent Perron
4b26c84b48 [CP-SAT] more on scheduling reorg; polish python layer 2025-01-14 16:00:07 +01:00
Laurent Perron
21f425f99e more work on CP-SAT python; lots of fixes for bugs found by fuzzer 2025-01-10 22:25:44 +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
403e31ab65 [CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules 2025-01-09 16:04:43 +01:00
Laurent Perron
b1e8fffc75 [CP-SAT] fix more fuzzer bugs; polish python code 2025-01-06 21:51:04 +01:00
Laurent Perron
580267af00 [CP-SAT] renaming 2025-01-06 13:19:58 +01:00
Laurent Perron
5373b42518 [CP-SAT] fix API + tests 2025-01-01 15:31:26 +01:00
Laurent Perron
53d27362e6 [CP-SAT] fix python layer 2024-12-29 21:46:53 +01:00
Laurent Perron
1f6e3b68ca [CP-SAT] more work on python linear expressions 2024-12-29 19:22:15 +01:00
Laurent Perron
57f75f8c7b [CP-SAT] fix 2024-12-29 08:19:47 +01:00
Laurent Perron
def400a8c8 [CP-SAT] revamp python implementation: introduce proper FloatLinearExpr class, move most of the expressions classes to C++ 2024-12-28 11:23:05 +01:00
Laurent Perron
bf5e731d37 [CP-SAT] reorganize code 2024-11-29 14:27:36 +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
49a154fe13 [CP-SAT] more python type checking 2024-11-20 15:00:43 +01:00
Laurent Perron
f7a665eb06 [CP-SAT] improve 2d_try_edge_propagator; more checks 2024-11-13 14:30:34 +01:00
Laurent Perron
8bf10c939e [CP-SAT] fix #4434; checks models do not have symmetries filled 2024-11-12 15:21:53 +01:00
Laurent Perron
bfb7660635 [CP-SAT] supports affine expression in automaton 2024-10-25 13:15:18 +02:00
Laurent Perron
488b43c37c [CP-SAT] change element and table protos, API to support affine expressions 2024-10-23 05:54:30 +02:00
Laurent Perron
f762c88d35 [CP-SAT] add support for affine expressions in python/java; enable max_lp_sym 2024-10-18 14:45:53 +02:00
Laurent Perron
f269264849 support hinting literals in CP-SAT Python 2024-10-07 15:54:04 +02:00
Corentin Le Molgat
14065186bb sat: python remove some type assert to improve model building performance 2024-09-18 11:55:03 +02:00
Laurent Perron
5d8e372a27 [CP-SAT] remove useless python type checks 2024-09-06 11:17:30 +02:00
Laurent Perron
b0eb3582f4 [CP-SAT] improve mod doc; improve precedences in scheduling; speed up circuit data structures 2024-07-23 20:01:32 +02:00
Laurent Perron
4c87a36244 specify the modulo convention in python CP-SAT 2024-07-23 19:35:24 +02:00
Laurent Perron
8dd1169cd5 [CP-SAT] speed up violation ls; improve presolve and symmetries, add transition time/cost sample 2024-07-02 15:29:50 +01:00
Laurent Perron
2758b6cb5f fix python typing 2024-05-02 13:01:19 +02:00