cryptominisat-devel-2.9.11-1.fc25.x86_64.rpm


Advertisement

Description

cryptominisat-devel - Header files for developing with cryptominisat

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cryptominisat-devel
Package version: 2.9.11
Package release: 1.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 250.28 KB
Download size: 64.31 KB
Official Mirror: dl.fedoraproject.org
Header files for developing applications that use cryptominisat.

Provides

  • cryptominisat-devel = 2.9.11-1.fc25
  • cryptominisat-devel(x86-64) = 2.9.11-1.fc25

    Install Howto

    Install the cryptominisat-devel rpm package:

    # dnf install cryptominisat-devel

    Files

    • /usr/include/cmsat/Alg.h
    • /usr/include/cmsat/BitArray.h
    • /usr/include/cmsat/BothCache.h
    • /usr/include/cmsat/BoundedQueue.h
    • /usr/include/cmsat/CSet.h
    • /usr/include/cmsat/Clause.h
    • /usr/include/cmsat/ClauseAllocator.h
    • /usr/include/cmsat/ClauseCleaner.h
    • /usr/include/cmsat/ClauseOffset.h
    • /usr/include/cmsat/ClauseVivifier.h
    • /usr/include/cmsat/CompleteDetachReattacher.h
    • /usr/include/cmsat/DataSync.h
    • /usr/include/cmsat/DimacsParser.h
    • /usr/include/cmsat/DoublePackedRow.h
    • /usr/include/cmsat/FailedLitSearcher.h
    • /usr/include/cmsat/Gaussian.h
    • /usr/include/cmsat/GaussianConfig.h
    • /usr/include/cmsat/Heap.h
    • /usr/include/cmsat/MatrixFinder.h
    • /usr/include/cmsat/MersenneTwister.h
    • /usr/include/cmsat/OnlyNonLearntBins.h
    • /usr/include/cmsat/PackedMatrix.h
    • /usr/include/cmsat/PackedRow.h
    • /usr/include/cmsat/PropBy.h
    • /usr/include/cmsat/RestartTypeChooser.h
    • /usr/include/cmsat/SCCFinder.h
    • /usr/include/cmsat/SharedData.h
    • /usr/include/cmsat/Solver.h
    • /usr/include/cmsat/SolverConf.h
    • /usr/include/cmsat/SolverTypes.h
    • /usr/include/cmsat/StateSaver.h
    • /usr/include/cmsat/StreamBuffer.h
    • /usr/include/cmsat/Subsumer.h
    • /usr/include/cmsat/UselessBinRemover.h
    • /usr/include/cmsat/VarReplacer.h
    • /usr/include/cmsat/Vec.h
    • /usr/include/cmsat/Watched.h
    • /usr/include/cmsat/XSet.h
    • /usr/include/cmsat/XorFinder.h
    • /usr/include/cmsat/XorSubsumer.h
    • /usr/include/cmsat/constants.h
    • /usr/include/cmsat/time_mem.h
    • /usr/lib64/libcryptominisat.so

    Changelog

    Advertisement
    Advertisement