Packages / openSUSE Tumbleweed / Development/Libraries/C and C++ / libclingo4
Package: libclingo4 (5.8.0-2.4)
External Resources:
Homepage: [potassco.org]
Similar packages:
- [clingo]
邏輯程式的接地器與求解器
- [clingo-devel]
clingo 的開發檔案
- [lua-clingo]
Lua bindings for Clingo
- [python3-clingo]
Python 3 bindings for Clingo
Libraries file(s) for clingo
Other Packages Related to libclingo4:
dep: /sbin/ldconfig
Package not available
dep: /sbin/ldconfig
Package not available
dep: ld-linux-x86-64.so.2()(64bit)
Package not available
dep: ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
Package not available
dep: libgcc_s.so.1()(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.0)(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.2.5)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libstdc++.so.6()(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.1)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.11)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.13)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.15)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.7)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
Package not available
dep: libc.so.6(GLIBC_2.38)(64bit)
Package not available
Download libclingo4
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| x86_64 | 1.5 MiB | 4.3 MiB | [list of files] |
Package file paths (7)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
- /usr/lib64/libclingo.so.4
- /usr/lib64/libclingo.so.4.0
- /usr/share/doc/packages/libclingo4
- /usr/share/doc/packages/libclingo4/INSTALL.md
- /usr/share/doc/packages/libclingo4/README.md
- /usr/share/licenses/libclingo4
- /usr/share/licenses/libclingo4/LICENSE.md
Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
