Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: google-or-tools-minizinc | Distribution: openSUSE Tumbleweed |
Version: 9.6 | Vendor: openSUSE |
Release: 3.5 | Build date: Sat Feb 3 11:46:26 2024 |
Group: Productivity/Scientific/Math | Build host: obs-power9-12 |
Size: 89844 | Source RPM: google-or-tools-9.6-3.5.src.rpm |
Packager: http://bugs.opensuse.org | |
Url: https://developers.google.com/optimization/ | |
Summary: OR-Tools minizinc solver |
Minizinc solver using the OR-Tools suite.
Apache-2.0
* Tue Aug 08 2023 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix build with re2 2023-07-01, add 0001-deps-bump-re2-to-2023-07-01.patch - Cleanup skipped tests * Sun Jul 09 2023 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix build with latest protobuf, add 0001-base-Remove-AbslStringify.patch * Thu May 11 2023 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Update to version 9.6: * Dependencies + SCIP v801 -> v803 (note: now uses an OSI compatible license) + abseil 20220623.1 -> 20230105.0 + Protobuf v21.5 -> v21.12 + SWIG 4.1.1 * PDLP + Add python wrapper. * CP-SAT + Performance improvements. * GLOP + Tweak presolve. * ModelBuilder + Python: Improve numpy support. * Bazel + Add pybind11 support. + Add java wrapper support. * Routing + Few improvements (local search) * Known Issues: + CP-SAT: Ignoring pseudo_costs subsolver returns Invalid parameters. (#3706) - Update to version 9.5: * CP-SAT + Presolve improvements: max(array), Boolean constraints, linear constraints. + Interleaved search should be deterministic in parallel. + Linear cuts: cleanup square and int_prod cuts; rewrite cut pipeline. + Fingerprint input model and solution (visible in the log). + Scheduling improvements + The usual bunch of bugfixes (crash during presolve, crash in cuts, infeasible solutions, model infeasible in LNS). * GLOP + Speedup by rewriting the linear algebra, as well as the pivot selection rule * Linear Solver + add knapsack_interface.cc. + Move model_builder API under the linear_solver directory (headers and samples). + Add support for Gurobi 10. * Routing + Liberate few parser for various routing challenge. - Drop obsolete patches: * do_not_call_pdlp_solve_test.patch * 0003-Reuse-common-add_cxx_example-function-for-Sat-Runner.patch - Update patches: * 0001-Only-add-relevant-directories-to-sample-RUNPATHs.patch * 0002-Only-add-relevant-directories-to-flatzinc-library-ex.patch * 0003-Only-add-relevant-directories-to-sat_solver-RUNPATHs.patch - Use PIP_NO_INDEX instead of 0001-Do-not-try-to-download-ortools-wheel.patch * Fri Nov 25 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix build with SWIG 4.1 * Sat Sep 17 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Update to version 9.4: * Graph + Split ortools.graph.pywrapgraph into: - ortools.graph.python.linear_sum_assignment - ortools.graph.python.max_flow - ortools.graph.python.min_cost_flow This allows using numpy to speed up the setup of the problems. * CP-SAT + Some improvement on: - scheduling (propagation, cuts, lower bounds) - MaxSAT (presolve, core based heuristics) - MIP performance (presolve, cuts) - Drop upstream patches: * fix_re2_string_view.patch * 0001-Build-Python-modules-as-CMake-MODULEs.patch * fix_malformed_Cpp.patch * 0001-Set-SWIGWORDSIZE-dependent-on-architecture-bitness.patch - Add patches: * do_not_call_pdlp_solve_test.patch * 0003-Reuse-common-add_cxx_example-function-for-Sat-Runner.patch * Fri Jul 15 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix failing builds due to stricter RUNPATH checks, add * 0001-Only-add-relevant-directories-to-sample-RUNPATHs.patch * 0002-Only-add-relevant-directories-to-flatzinc-library-ex.patch * Sun May 29 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix failing build with GCC 12, add fix_malformed_Cpp.patch - Fix build on 32bit archs, allow tests to fail - Add _constraints to avoid no-space-left errors * Sun Apr 24 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Initial package version (9.3) - Add fix_re2_string_view.patch - Add 0001-Build-Python-modules-as-CMake-MODULEs.patch
/usr/bin/fzn-ortools /usr/share/minizinc /usr/share/minizinc/ortools /usr/share/minizinc/ortools/fzn_all_different_int.mzn /usr/share/minizinc/ortools/fzn_circuit.mzn /usr/share/minizinc/ortools/fzn_cumulative.mzn /usr/share/minizinc/ortools/fzn_diffn.mzn /usr/share/minizinc/ortools/fzn_diffn_nonstrict.mzn /usr/share/minizinc/ortools/fzn_inverse.mzn /usr/share/minizinc/ortools/fzn_network_flow.mzn /usr/share/minizinc/ortools/fzn_network_flow_cost.mzn /usr/share/minizinc/ortools/fzn_regular.mzn /usr/share/minizinc/ortools/fzn_subcircuit.mzn /usr/share/minizinc/ortools/fzn_table_bool.mzn /usr/share/minizinc/ortools/fzn_table_int.mzn /usr/share/minizinc/ortools/nostrings.mzn /usr/share/minizinc/ortools/redefinitions-2.0.mzn /usr/share/minizinc/solvers /usr/share/minizinc/solvers/ortools.msc
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat May 11 00:37:11 2024