13 Commits

Author SHA1 Message Date
Corentin Le Molgat
4151254eba sat: backport from main 2025-07-23 15:04:05 +02:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Corentin Le Molgat
7050ad3fc9 cmake: rework java helper functions 2024-01-18 11:22:38 +01:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +01:00
Mizux Seiha
53c1e40969 swig: Fix define definition
need to set ABSL_MUST_USE_RESULT to empty string so '=' is mandatory
2023-05-30 14:49:13 +02:00
Laurent Perron
acda5d226d [CP-SAT] reduce memory usage of integer variables; add option to save model in binary format 2023-02-09 16:18:46 -08:00
Corentin Le Molgat
41d60ad520 cmake: Fix SWIG build
Still need to define ABSL_MUST_USE_RESULT= even with swig 4.1.1
2023-02-06 08:47:46 +01:00
Corentin Le Molgat
9054f13f95 cmake: remove ABSL_MUST_USE_RESULT for swig
should be fixed with absl upstream + swig 4.1 now support attibute
2023-02-06 08:47:46 +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
Corentin Le Molgat
1af55b2be3 Add license boilerplate 2022-06-21 11:25:29 +02:00
Mizux Seiha
976f227b67 cmake: rework java 2021-12-03 14:20:19 +01: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