cadical-libs-06w-2.fc29.i686.rpm


Advertisement

Description

cadical-libs - Simplified SAT solver library

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename cadical-libs-06w-2.fc29.i686.rpm
Package name cadical-libs
Package version 06w
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/cadical/
License MIT
Maintainer -
Download size 129.11 KB
Installed size 342.87 KB
This package contains the CaDiCaL simplified Satisfiability solver as a
library, for use in applications that need a SAT solver.

Alternatives

Package Version Architecture Repository
cadical-libs-06w-2.fc29.x86_64.rpm 06w x86_64 Fedora
cadical-libs-06w-2.fc29.i686.rpm 06w i686 Fedora
cadical-libs - - -

Requires

Name Value
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libm.so.6 -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
rtld(GNU_HASH) -

Provides

Name Value
cadical-libs = 06w-2.fc29
cadical-libs(x86-32) = 06w-2.fc29
libcadical.so.0 -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package cadical-libs-06w-2.fc29.i686.rpm
Source Package cadical-06w-2.fc29.src.rpm

Install Howto

Install cadical-libs rpm package:

# dnf install cadical-libs

Files

Path
/usr/lib/libcadical.so.0
/usr/lib/libcadical.so.0.0.0
/usr/lib/.build-id/
/usr/lib/.build-id/15/4501662a17e8c53f810ab6e8ff26a6f220934f
/usr/share/doc/cadical-libs/CONTRIBUTING
/usr/share/doc/cadical-libs/README.md
/usr/share/licenses/cadical-libs/LICENSE

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 06w-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-06 - Jerry James <loganjerry@gmail.com> - 06w-1
- Initial RPM

See Also

Package Description
cadvisor-0.22.2-7.fc28.i686.rpm Analyzes resource usage and performance characteristics of running containers
cadvisor-devel-0.22.2-7.fc28.noarch.rpm Analyzes resource usage and performance characteristics of running containers
caffeine-2.3.5-5.fc29.noarch.rpm High performance, near optimal caching library based on Java 8
caffeine-javadoc-2.3.5-5.fc29.noarch.rpm Javadoc for caffeine
cagibi-0.2.0-16.fc29.i686.rpm SSDP (UPnP discovery) cache/proxy daemon
cairo-1.15.14-1.fc29.i686.rpm A 2D graphics library
cairo-clock-0.3.4-22.fc29.i686.rpm Cairo-rendered on-screen clock
cairo-devel-1.15.14-1.fc29.i686.rpm Development files for cairo
cairo-dock-3.4.1-10.fc29.i686.rpm Light eye-candy fully themable animated dock
cairo-dock-core-3.4.1-10.fc29.i686.rpm Core files for cairo-dock
cairo-dock-devel-3.4.1-10.fc29.i686.rpm Development files for cairo-dock
cairo-dock-libs-3.4.1-10.fc29.i686.rpm Library files for cairo-dock
cairo-dock-plug-ins-3.4.1-23.fc29.i686.rpm Plug-ins files for Cairo-Dock
cairo-dock-plug-ins-base-3.4.1-23.fc29.i686.rpm Base files for Cairo-Dock plugins
cairo-dock-plug-ins-common-3.4.1-23.fc29.noarch.rpm Common files for Cairo-Dock plugins
Advertisement
Advertisement