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


Advertisement

Description

cadical-devel - Development files for cadical

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename cadical-devel-06w-2.fc29.i686.rpm
Package name cadical-devel
Package version 06w
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/cadical/
License MIT
Maintainer -
Download size 9.12 KB
Installed size 5.28 KB
Library links and header files for developing applications that use
cadical.

Alternatives

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

Requires

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

Provides

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

Download

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

Install Howto

Install cadical-devel rpm package:

# dnf install cadical-devel

Files

Path
/usr/include/cadical.hpp
/usr/lib/libcadical.so

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-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
cairo-dock-plug-ins-base-3.4.1-23.fc29.i686.rpm Base files for Cairo-Dock plugins
Advertisement
Advertisement