Commit Graph

  • 600a17f158 [CP-SAT] more work on lrat, encoding optimization; clauses engine optimization; clause congruence implementation Laurent Perron 2025-10-30 08:35:56 +01:00
  • 2473b6818d cleanups, new minor methods; tests Laurent Perron 2025-10-30 08:34:57 +01:00
  • af7373f1de update highs cmake version Ivet Galabova 2025-10-27 07:52:59 +00:00
  • 42ee335012 Zero-length arrays are non-standard (#4900) Guillaume Chatelet 2025-10-27 11:47:13 +01:00
  • 9789365f57 fix #4897 Laurent Perron 2025-10-24 09:06:15 +02:00
  • cc6fccb19e Add more math_opt/core tests (#4895) Guillaume Chatelet 2025-10-23 15:57:32 +01:00
  • ff62bd5fbf Update routing folder (#4894) Guillaume Chatelet 2025-10-22 13:14:13 +01:00
  • 440c4b82bc Update reference documentation. Daniel Junglas 2025-10-21 15:12:53 +02:00
  • 62f2a865cc Use enum class rather than plain enum. Daniel Junglas 2025-10-21 14:38:35 +02:00
  • 3c9d27fe1f Get rid of redundant field. Daniel Junglas 2025-10-21 14:32:56 +02:00
  • 20bf0ae3c1 Use newline character instead of std::endl to avoid excessive flushing Daniel Junglas 2025-10-21 14:25:12 +02:00
  • abef7c6f62 Always initialize Daniel Junglas 2025-10-21 14:24:41 +02:00
  • 8398eda074 Always initialize Daniel Junglas 2025-10-21 14:24:22 +02:00
  • 8b0618f984 Always initialize Daniel Junglas 2025-10-21 14:24:06 +02:00
  • 7353184a82 Always initialize Daniel Junglas 2025-10-21 14:23:50 +02:00
  • ea4e1721cd Always initialize value Daniel Junglas 2025-10-21 14:22:25 +02:00
  • 3b71120f4d Pass small types by value Daniel Junglas 2025-10-21 14:21:46 +02:00
  • a306b21666 Pass small types by value Daniel Junglas 2025-10-21 14:21:19 +02:00
  • e35ff0b865 Pass small types by value Daniel Junglas 2025-10-21 14:20:49 +02:00
  • 7841179af4 Cleanup and comments. Daniel Junglas 2025-10-20 09:33:55 +02:00
  • 40bf7585c2 Use absl::Span<> rather than raw arrays. Daniel Junglas 2025-10-17 11:04:35 +02:00
  • cdbbe6d7b2 Rename functions. Daniel Junglas 2025-10-17 10:23:25 +02:00
  • 712a291165 Only query "additional" solution for LPs. Daniel Junglas 2025-10-17 10:22:39 +02:00
  • b0a3fdbe13 Add support for second order cone constraints. Daniel Junglas 2025-10-15 15:25:35 +02:00
  • af80e2b273 Support EXPORT_MODEL control to dump model. Daniel Junglas 2025-10-15 15:12:18 +02:00
  • 2b9db82afe Factor out checking for singleton variables. Daniel Junglas 2025-10-15 14:46:03 +02:00
  • d47383ea4a Add support for quadratic constraints. Daniel Junglas 2025-10-15 13:39:48 +02:00
  • 09fe47e5e8 Add support for indicator constraints. Daniel Junglas 2025-10-14 15:01:09 +02:00
  • c8b32d9146 Add support for special ordered sets. Daniel Junglas 2025-10-14 11:05:22 +02:00
  • 3a9b1ad1e0 Add support for multi-objective. Daniel Junglas 2025-10-13 14:03:54 +02:00
  • e90135b2be Fixes after rebase. Daniel Junglas 2025-10-13 10:27:22 +02:00
  • 2a7689252f Implement model specific parameters. Daniel Junglas 2025-10-10 16:52:50 +02:00
  • 7881ad6b93 Support arbitrary Xpress parameters. Daniel Junglas 2025-10-10 14:13:46 +02:00
  • dee7da435b Fix iteration limit for hybrid gradient. Daniel Junglas 2025-10-10 13:44:54 +02:00
  • 424d179e15 Bail out if library has bad version. Daniel Junglas 2025-10-09 12:47:12 +02:00
  • 53498c041c Fix expected valus for MIPs. Daniel Junglas 2025-10-09 12:06:23 +02:00
  • 360969ca59 Do not attach empty solutions for MIPs. Daniel Junglas 2025-10-09 11:37:09 +02:00
  • 285d1d48c5 Propagate variable types to low-level Xpress. Daniel Junglas 2025-10-09 09:16:51 +02:00
  • 0983ea997c Extend all tests to run with and without integer variables. Daniel Junglas 2025-10-09 08:13:15 +02:00
  • 7475b5eb8b Fix handling of memory limit. Daniel Junglas 2025-10-09 07:50:16 +02:00
  • 69efba4b38 Add status tests with integer variables. Daniel Junglas 2025-10-09 07:45:07 +02:00
  • 83e9e030fc Fix expected value for test. Daniel Junglas 2025-10-08 17:14:11 +02:00
  • d4029bacd9 Add tests for unsupported parameters. Daniel Junglas 2025-10-08 17:06:15 +02:00
  • 15d4ca8b29 Fix some test failures. Daniel Junglas 2025-10-08 16:56:39 +02:00
  • 94ad8429ac Do not support objective_limit. Daniel Junglas 2025-10-08 13:58:08 +02:00
  • b0744a06ef Fix copy/paste error. Daniel Junglas 2025-10-08 13:52:35 +02:00
  • 810088512e Fix handling of cutoff return status. Daniel Junglas 2025-10-08 13:09:38 +02:00
  • 7e8b5f9408 Do not return non-zero from checktime() callback. Daniel Junglas 2025-10-08 12:51:58 +02:00
  • 0a438642c4 Fix some parameter handling. Daniel Junglas 2025-10-08 12:45:06 +02:00
  • 6ca60151df Fix handling of presolve emphasis. Daniel Junglas 2025-10-08 12:30:18 +02:00
  • e037d0b607 Skip random seed tests. Daniel Junglas 2025-10-08 12:20:16 +02:00
  • 83f51815d2 Complete and fix SolveStats reporting. Daniel Junglas 2025-10-08 11:25:31 +02:00
  • 5d89668a2d Fix infeasibility status. Daniel Junglas 2025-10-08 07:49:40 +02:00
  • dd4842347e Enable more tests. Daniel Junglas 2025-10-08 07:49:34 +02:00
  • acbf3984d3 Fix extraction of free ranged rows. Daniel Junglas 2025-10-08 07:00:11 +02:00
  • 720602f268 Fix compilation issues. Daniel Junglas 2025-10-07 13:26:22 +02:00
  • f63af0306a Enable support for integer variables. Daniel Junglas 2025-10-07 10:36:33 +02:00
  • 797f515a8c Finish conversion to XPRSoptimize(). Daniel Junglas 2025-10-07 10:34:20 +02:00
  • 79b84c2cfc Fix setting of cut strategy. Daniel Junglas 2025-10-07 10:30:00 +02:00
  • a08695f059 Switch to XPRSoptimize() . Daniel Junglas 2025-10-07 08:07:46 +02:00
  • ecd3a2d581 Support temporary setting of controls. Daniel Junglas 2025-10-07 07:03:03 +02:00
  • 75e8cd5727 Add missing control handling functions. Daniel Junglas 2025-10-07 06:57:54 +02:00
  • 6e1c8d1908 clang-format. Daniel Junglas 2025-10-13 10:07:13 +02:00
  • cea9f0fda0 Review refactor, needs comments Francesco Cavaliere 2025-10-10 15:31:19 +02:00
  • 1c32a13cc7 clang-format. Daniel Junglas 2025-10-07 15:52:57 +02:00
  • be01567473 Fix compilation problems. Daniel Junglas 2025-10-07 15:52:22 +02:00
  • 19b3f5c7ba Formatting. Daniel Junglas 2025-10-06 13:50:11 +02:00
  • f60b696403 Add support for interrupters. Daniel Junglas 2025-10-06 13:30:39 +02:00
  • 058892a348 Rewrite callback handling again. Daniel Junglas 2025-10-06 13:14:59 +02:00
  • a56f7f3b35 Rewrite callback handling. Daniel Junglas 2025-10-02 16:03:00 +02:00
  • 242dd6b4ae Apply clang-format. Daniel Junglas 2025-10-02 11:07:39 +02:00
  • 54bb914f19 Simplify handling errors in callback registration. Daniel Junglas 2025-10-02 11:01:16 +02:00
  • cdf7055a37 Small code optimization. Daniel Junglas 2025-10-02 10:16:43 +02:00
  • 17d842f993 Prepare for more callbacks being added and handle exceptions. Daniel Junglas 2025-10-02 10:13:26 +02:00
  • a396c974c4 Mark message callback as supported in test suite. Daniel Junglas 2025-10-01 17:32:31 +02:00
  • 672be762a3 Remove the "always on" message handler. Daniel Junglas 2025-10-01 16:28:09 +02:00
  • 6e9ce9f833 Support the message callback in Xpress. Daniel Junglas 2025-10-01 16:26:52 +02:00
  • 18a0b2d0a3 Update thread_pool code (#4890) Guillaume Chatelet 2025-10-21 18:29:06 +01:00
  • e9e44b3a3c Update graph samples (#4891) Guillaume Chatelet 2025-10-21 18:27:27 +01:00
  • f116c78dd2 [bazel] update services (#4892) Guillaume Chatelet 2025-10-21 18:27:08 +01:00
  • ca272fcc7a [bazel] Update various bazel files, remove useless files (#4885) Guillaume Chatelet 2025-10-21 16:27:30 +01:00
  • 3e71959d29 [CP-SAT] work on lrat proofs; work on linear2 classes; speedup memory allocation in shaving solvers; imprement #4884; missing python methods Laurent Perron 2025-10-21 16:32:29 +02:00
  • 4b2722ad04 cleanup Laurent Perron 2025-10-21 16:30:36 +02:00
  • f6fac3debf Revert "protobuf: bump to v33.0" (#4887) Guillaume Chatelet 2025-10-21 09:50:55 +01:00
  • 00301386f4 bazel: set default python to 3.12 Corentin Le Molgat 2025-10-20 16:38:05 +02:00
  • 11d75c60dc bazel: update modules Corentin Le Molgat 2025-10-20 15:45:51 +02:00
  • 49b5d33d2a math_opt: export absl_nonnull attribute from google3 Corentin Le Molgat 2025-10-20 10:03:21 +02:00
  • 63b4aca605 protobuf: bump to v33.0 Corentin Le Molgat 2025-10-20 11:18:24 +02:00
  • a253f7bbc0 cmake: bump re2 to 20025-08-12 Corentin Le Molgat 2025-10-20 09:54:02 +02:00
  • 6927f69552 sat: README cleanup Corentin Le Molgat 2025-10-20 09:25:12 +02:00
  • 8bd58b49af graph: fixup from google3 Corentin Le Molgat 2025-10-20 09:25:03 +02:00
  • ad3df9d25b Merge pull request #4880 from google/mizux/julia Thibaut Cuvelier 2025-10-16 18:35:04 +02:00
  • ba224b0f41 routing: cleanup Corentin Le Molgat 2025-10-16 17:01:58 +02:00
  • 901027adeb math_opt: export from google3 Corentin Le Molgat 2025-10-16 17:01:46 +02:00
  • 134c44c008 routing: cleanup Corentin Le Molgat 2025-10-16 17:01:58 +02:00
  • f990ff012a math_opt: export from google3 Corentin Le Molgat 2025-10-16 17:01:46 +02:00
  • 2394cb03cf julia: export from google3 Corentin Le Molgat 2025-10-16 14:34:59 +02:00
  • cc726183c2 cmake: fix host.CMakeLists.txt build Corentin Le Molgat 2025-10-16 10:07:24 +02:00
  • 2adf929a73 cmake: move set cmd after FetchContent_Declare Corentin Le Molgat 2025-10-16 10:07:03 +02:00
  • 3eb742e3c4 cmake: fix host.CMakeLists.txt build Corentin Le Molgat 2025-10-16 10:07:24 +02:00