Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: libgecode51 | Distribution: openSUSE Tumbleweed |
Version: 6.3.0~git20211208.6b09bea4 | Vendor: openSUSE |
Release: 1.8 | Build date: Sun May 1 00:32:20 2022 |
Group: System/Libraries | Build host: reproducible |
Size: 12921854 | Source RPM: gecode-6.3.0~git20211208.6b09bea4-1.8.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: https://www.gecode.org/ | |
Summary: C++ toolkit for developing constraint-based systems |
Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
MIT
* Sat Apr 30 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Fix hanging MiniZinc IDE, add 0001-Send-DONE-message-before-disconnecting.patch - Build and run testsuite * Wed Apr 27 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de> - Initial package version (6.3.0~git20211208)
/usr/lib64/libgecodedriver.so.51 /usr/lib64/libgecodefloat.so.51 /usr/lib64/libgecodeint.so.51 /usr/lib64/libgecodekernel.so.51 /usr/lib64/libgecodeminimodel.so.51 /usr/lib64/libgecodesearch.so.51 /usr/lib64/libgecodeset.so.51 /usr/lib64/libgecodesupport.so.51 /usr/share/licenses/libgecode51 /usr/share/licenses/libgecode51/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Nov 16 00:58:04 2024