Commit Graph

137 Commits

Author SHA1 Message Date
Corentin Le Molgat
6d1dd32974 sat(java): fix typo in comment 2022-10-19 17:54:12 +02:00
Laurent Perron
a93c57b707 [CP-SAT] prepare for reservoir with variable demand; internal tweakes 2022-09-09 16:49:35 +02:00
Corentin Le Molgat
5e22237e6f Update Protobuf 3.19.4 -> v21.5
note: python 4.21.5, all others languages 3.21.5
2022-09-02 13:47:01 +02:00
Corentin Le Molgat
57275f9a60 Revert "add Java pragmas"
This reverts commit 7e717e4293.
2022-07-25 11:55:03 +02:00
Laurent Perron
7e717e4293 add Java pragmas 2022-07-04 12:26:52 +02:00
Corentin Le Molgat
3d5b251e34 java: rename master to main in pom.xml 2022-06-29 08:05:16 +02:00
Corentin Le Molgat
1af55b2be3 Add license boilerplate 2022-06-21 11:25:29 +02:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Corentin Le Molgat
5b3d1e0f58 java: Add support for linux-aarch64 and darwin-aarch64 (#2538) 2022-05-23 16:39:25 +02:00
Corentin Le Molgat
b0bd3f9869 java: fix pom.xml templates 2022-05-19 17:23:01 +02:00
Laurent Perron
7a46833a12 fix #3283: implement clear objective method in CP-SAT 2022-05-07 10:37:29 +02:00
Laurent Perron
03a1571f4c explicit cast long -> double 2022-04-04 15:43:28 +02:00
Laurent Perron
a4fc5aee55 use java.time.Duration for time limit 2022-04-04 15:42:12 +02:00
Laurent Perron
3ee27d3354 fix API 2022-04-04 14:45:15 +02:00
Laurent Perron
ac5dc8be37 fix java crash 2022-04-04 11:57:14 +02:00
Laurent Perron
f54350c578 more work on ModelBuilder java 2022-04-03 23:22:02 +02:00
Laurent Perron
0223b492b3 incomplete ModelBuilder java implementation 2022-04-02 23:28:05 +02:00
Laurent Perron
591f255052 remove obsolete TODO 2022-04-02 23:27:23 +02:00
Corentin Le Molgat
fca3456c45 Sync from Google 2022-03-03 14:09:10 +01:00
Corentin Le Molgat
35ef175cac Sync from google 2022-03-02 22:10:54 +01:00
Corentin Le Molgat
8a83e4265b doc: mv doc/ to docs/ 2022-02-23 16:19:26 +01:00
Laurent Perron
6b9ba5e38c [CP-SAT] clear the previous objective when minimizing or maximizing in the java API 2022-02-19 09:04:20 +01:00
Laurent Perron
1a8a94dace [CP-SAT] add more incremental methods on java constraints; use logger in SatSolver; 2022-02-02 14:57:42 +01:00
Mizux Seiha
8c4b96c65e deps: Bump Protobuf 3.19.1 -> 3.19.4 2022-02-02 11:00:24 +01:00
Laurent Perron
be8c2f9c79 [CP-SAT] improve C++ modeling layer; allow chaining incremental constraint filling methods in C#/Java 2022-01-11 17:52:27 +01:00
Laurent Perron
1615d1956c fixes 2022-01-11 16:15:07 +01:00
Laurent Perron
79865d02cb add TableConstraint.addTuples in java CP-SAT 2022-01-11 15:26:30 +01:00
Laurent Perron
c22032a7fe [CP-SAT] fix permission in new java API 2022-01-11 12:42:43 +01:00
Laurent Perron
ceabca677c [CP-SAT] ScalProd -> WeightedSum 2022-01-04 19:35:22 +01:00
Laurent Perron
1166e1663a [CP-SAT] Next iteration in java modelling layer 2022-01-04 16:30:04 +01:00
Laurent Perron
6144215236 [CP-SAT] add BoolVar class to the java modelling layer 2022-01-03 18:57:09 +01:00
Laurent Perron
7da0f7abd7 [CP-SAT] Polish java code 2022-01-03 14:49:52 +01:00
Laurent Perron
62d506143b [CP-SAT] Add AtMostOne/AtLeastOne/ExactlyOne constraint in all languages; rewrite linear expressions in java 2022-01-03 09:43:59 +01:00
Laurent Perron
79f2c45c33 [CP-SAT] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right 2022-01-01 19:26:39 +01:00
Laurent Perron
b9cd938c16 [CP-SAT] add AddAtLeastOne/AtMostOne/ExactlyOne API in all languages 2021-12-31 11:12:22 +01:00
Laurent Perron
0ebf4e3685 [CP-SAT] rewrite the java modelling layer (non linear constraints) 2021-12-29 13:12:13 +01:00
Laurent Perron
0c22a715b2 [CP-SAT] improve doc on C++ builder API; rewrite python API to remove the DoubleLinearExpr class 2021-12-14 17:15:17 +01:00
Corentin Le Molgat
1d3e1f3126 Sync java 2021-12-10 17:54:56 +01:00
Laurent Perron
7e74268ded [CP-SAT] another overflow fix; remove AddLinMin/Max in favor of AddMin/Max 2021-12-08 15:26:17 +01:00
Mizux Seiha
d6ae509342 Fix Protobuf and Absl bump 2021-11-30 18:34:58 +01:00
Corentin Le Molgat
882f13d248 cmake: Remove CMakeTest.java 2021-11-29 11:02:35 +01:00
Laurent Perron
f5d01e1c19 reformat 2021-11-28 12:59:14 +01:00
Laurent Perron
1dd4eff16e [CP-SAT] Reservoir constraint uses affine expression for the time part; rename fields in the reservoir constraint 2021-11-25 15:02:51 +01:00
Laurent Perron
50e38f1750 [CP-SAT] accept affine expressions as argument of AllDiff 2021-11-23 21:38:20 +01:00
Laurent Perron
7e699275e1 [CP-SAT] better processing of double objective; add one more symmetry breaking presolve rule; add objective rounding cut; remove IntegerArgumentProto message 2021-11-19 17:58:54 +01:00
Laurent Perron
5b1a99e330 [CP-SAT] allow double coefficients in the objective 2021-11-19 00:28:44 +01:00
Laurent Perron
3c591609bf [CP-SAT] change primal integral to gap integral; change arguments of product, division, modulo to be affine expression instead of variables 2021-11-13 08:38:21 +01:00
Two4
35e1046e1f cmake: Added BUILD_FAT_JAR option (#2871)
* Added support and documentation for the CMake BUILD_FAT_JAR option

Co-authored-by: kyle <kyle@awesomeguy.co.za>
2021-10-29 11:53:26 +02:00
Corentin Le Molgat
29c3ccfc78 java: Make loadeNativeLibraries() a static synchronized function. 2021-10-27 16:25:38 +02:00
Laurent Perron
1eec259105 [CP-SAT] Cleanup intervals (remove start/size/end fields, remove _view from the other ones); change demands and capacity of the cumulative constraint to affine expressions; remove the experimental energies field from the cumulative constraint; first pass at detecting linear encoding of product of variab;es. This happens when both variables are encoded by the same literals, in an exactly_one relation; speed up the lb_tree_search worker 2021-10-20 19:50:09 +02:00