Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libgecode51-6.3.0~git20211208.6b09bea4-1.7 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

Name: libgecode51 Distribution: openSUSE Tumbleweed
Version: 6.3.0~git20211208.6b09bea4 Vendor: openSUSE
Release: 1.7 Build date: Fri Feb 2 17:18:02 2024
Group: System/Libraries Build host: i04-ch4b
Size: 12921854 Source RPM: gecode-6.3.0~git20211208.6b09bea4-1.7.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.

Provides

Requires

License

MIT

Changelog

* 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)

Files

/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 Mar 30 23:52:28 2024