cryptominisat4-devel-4.5.3-6.fc25.x86_64.rpm


Advertisement

Description

cryptominisat4-devel - Header files for developing with cryptominisat4

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cryptominisat4-devel
Package version: 4.5.3
Package release: 6.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 14.18 KB
Download size: 13.65 KB
Official Mirror: dl.fedoraproject.org
Header files for developing applications that use cryptominisat4.

Provides

  • cmake(cryptominisat4)
  • cryptominisat4-devel = 4.5.3-6.fc25
  • cryptominisat4-devel(x86-64) = 4.5.3-6.fc25

    Install Howto

    Install the cryptominisat4-devel rpm package:

    # dnf install cryptominisat4-devel

    Files

    • /usr/include/cryptominisat4/cryptominisat.h
    • /usr/include/cryptominisat4/solvertypesmini.h
    • /usr/lib64/libcryptominisat4.so
    • /usr/lib64/cmake/
    • /usr/lib64/cmake/cryptominisat4/cryptominisat4Config.cmake
    • /usr/lib64/cmake/cryptominisat4/cryptominisat4Targets-relwithdebinfo.cmake
    • /usr/lib64/cmake/cryptominisat4/cryptominisat4Targets.cmake

    Changelog

    Advertisement
    Advertisement