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


Advertisement

Description

cadical - Simplified SAT solver

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename cadical-06w-2.fc29.i686.rpm
Package name cadical
Package version 06w
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/cadical/
License MIT
Maintainer -
Download size 15.41 KB
Installed size 20.94 KB
CaDiCaL is a simplified Satisfiability solver.  The goal of the
development of CaDiCaL is to obtain a CDCL solver, which is easy to
understand and change, while at the same time not being much slower
than other state-of-the-art CDCL solvers.

Alternatives

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

Requires

Name Value
cadical-libs(x86-32) = 06w-2.fc29
libc.so.6(GLIBC_2.4) -
libcadical.so.0 -
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.9) -
libstdc++.so.6(GLIBCXX_3.4) -
rtld(GNU_HASH) -

Provides

Name Value
cadical = 06w-2.fc29
cadical(x86-32) = 06w-2.fc29

Download

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

Install Howto

Install cadical rpm package:

# dnf install cadical

Files

Path
/usr/bin/cadical
/usr/lib/.build-id/
/usr/lib/.build-id/44/7d067e7d0a8e2c1df01cc8796c24520ddb79a9

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
cadical-devel-06w-2.fc29.i686.rpm Development files for cadical
cadical-libs-06w-2.fc29.i686.rpm Simplified SAT solver library
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
Advertisement
Advertisement