always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
11,400 Commits 2 Branches 0 Tags
80fbfcc6f4aaa0cbbffab53348036eaa28218bc6
Commit Graph

45 Commits

Author SHA1 Message Date
Laurent Perron
cf53ee3c9f reformat bazel java code; CP-SAT: fix corner case in presolve, zero very small coefficients in translate from math model, more parameter validation 2023-01-05 13:38:42 +01:00
Laurent Perron
71b52a38ad java bazel support for sat 2022-12-30 11:40:33 +01:00
Laurent Perron
2746b48c5c add bazel java POC; works with algorithms and graph 2022-12-29 19:56:02 +01:00
Laurent Perron
6f12dd7c39 fix 2022-12-19 14:33:14 +01:00
Laurent Perron
af308f7610 [CP-SAT] tweak linear2 presolve with 1 Boolean var; speedup presolve 2022-12-07 13:23:31 +01:00
Laurent Perron
2264cb9059 [CP-SAT] more aggregate presolve; fix bug with no_overlap and duplicated intervals; add parameter for the probing time limit; use all threads to find the first solution while the lns workers are idle; tweak lb_tree_search by allowing more glop iterations at the root node 2022-11-29 14:39:27 +01:00
Mizux Seiha
b65c86da8b cmake: Fix java 
* fix cmake/java.cmake
* fix <cmp>/java/CMakeLists.txt
* fix examples/tests/CMakeLists.txt
 2022-09-23 13:15:36 +02:00
Mizux Seiha
ddbbd50228 move examples/test/*.java to ortools/<component>/java 2022-09-22 22:40:10 +02:00
Corentin Le Molgat
1af55b2be3 Add license boilerplate 2022-06-21 11:25:29 +02:00
Laurent Perron
87ca4f58ad [CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search 2022-06-16 15:21:00 +02:00
Mizux Seiha
976f227b67 cmake: rework java 2021-12-03 14:20:19 +01:00
Laurent Perron
1ea133254a [CP-SAT] improve scheduling default search 2021-09-13 14:09:11 +02:00
Corentin Le Molgat
c45cd04d1c Fix java wrappers 2021-09-10 16:25:35 +02:00
Corentin Le Molgat
96ead8f216 java: sync tests with Google 2021-09-03 18:21:29 +02:00
Laurent Perron
a18d290bd7 [CP-SAT] fix more corner cases in checker and presolve 2021-09-01 11:53:03 +02:00
Corentin Le Molgat
e5a5b8e18f java(sat): Fix log handler when having NumSearchWorkers > 1 2021-08-30 11:42:08 +02:00
Corentin Le Molgat
28804fd612 java: Quick fix SatSolverTest by using one worker 
Need further investigation...
 2021-08-27 18:20:08 +02:00
Mizux Seiha
8bb54b04ef Bump Copyright to 2021 
FYI:
find ortools \( -type d -name .git -prune \) -o -type f -print0 | xargs -0 sed -i 's/\(Copyright 2010\)-2018/\1-2021/g'
 2021-04-01 21:00:53 +02:00
Laurent Perron
dab31c5fe0 polish logs 2021-03-12 15:07:44 +01:00
Laurent Perron
968113be63 polish java/python/.net log from CP-SAT 2021-03-12 13:27:14 +01:00
Laurent Perron
4d1b9d227f capture CP-SAT log in python/java/.NET; visual tweak of the log; tweak the logging facilities for CP-SAT 2021-03-11 21:07:17 +01:00
Laurent Perron
d123dfadf6 add CpModel::ExportToFile for CP-SAT in all non C++ languages 2020-10-08 14:32:57 +02:00
Mizux Seiha
00387c133f cmake(java): Add Maven Package (#202) 2020-05-18 14:15:47 +02:00
Mizux Seiha
3223b97649 cmake: Work on Java 
* Add SWIG generation CMakeLists.txt
* Fix jni.h include dir
 2020-04-16 11:25:06 +02:00
Laurent Perron
7e4d1f5e30 improve presolve; speed up diffn 2020-02-26 16:10:17 +01:00
Corentin Le Molgat
bbd00fcf52 Java: remove s/long long/long/ swig hack 2020-02-14 17:02:47 +01:00
Laurent Perron
6d61ac1cb0 query the domain from an IntVar in Python/Java/C# + tests; small speedup of sat reversible data structures 2020-01-24 12:20:08 -08:00
Laurent Perron
3c5cd313d5 Polish new CP-SAT Java API 2019-05-06 22:21:53 +02:00
Laurent Perron
dec8adb40d polish non C++ CP-SAT API, samples, examples and tests 2019-05-06 10:12:55 +02:00
Laurent Perron
5cd1175933 polish swig declarations 2019-05-05 20:04:25 +02:00
Laurent Perron
c1e61773b6 fix domains and swig 2019-05-05 15:18:52 +02:00
Laurent Perron
75aacc45f1 wrap C++ Domain class in CP-SAT Java/Python/C#; use it in NewIntVarFromDomain API, remove FromValues and FromIntervals API 2019-05-04 16:56:42 +02:00
Laurent Perron
17f9b75fb2 hide one method in swig 2019-05-03 22:48:03 +02:00
Laurent Perron
2554d90e87 Wrap the C++ Domain class in Python, Java, C#; use it in IntVar and in AddXXXInDomain methods; change examples 2019-05-03 22:41:25 +02:00
Laurent Perron
7f99c48698 revamp SAT domains, API with bounds on non C++ languages 2019-05-03 16:30:57 +02:00
Laurent Perron
fedf3d4ff4 revamp and simplify swig support, force typed enums for C# and Java for all except the constraint_solver/routing module; port examples; Fix SAT on very large problems 2018-12-11 17:03:03 +01:00
Laurent Perron
3cfcd810cc Add CpModel.Validate() in C#, Python, Java 2018-11-21 08:43:50 -08:00
Laurent Perron
87b9d55b21 update license headers 2018-11-10 18:00:53 +01:00
Laurent Perron
d44fb1b423 add missing swig rule; remove redundant constraint in sat table implementation 2018-10-15 13:41:52 +02:00
Laurent Perron
b1da9320f9 enable objective lower bound (when minimizing) on the SAT solver in Python, Java, C#; change objective_value to be double (as in C++) for these languages. 2018-09-20 11:30:19 +02:00
Laurent Perron
428e272ccc add ModelStats and CpSolverResponseStats for SAT/{Python|Java|C#}; enable multiple enforcement literals for a few constraints; small fixes, typo corrections 2018-09-12 15:07:23 +02:00
Laurent Perron
039f5067e6 Add StopSearch on SAT solution callback in java, C# 2018-08-30 11:28:36 +02:00
Laurent Perron
12c1abad75 cleanup internal java sat code 2018-08-06 11:38:44 -07:00
Laurent Perron
ed3ed7957d add missing solver samples for java/sat; fix C# sample 2018-08-02 15:12:57 -07:00
Laurent Perron
5e2a5d1d86 stub code to get sat/java interface 2018-08-01 14:10:19 -07:00