cryptominisat-devel-2.9.8-1-omv2013.0.x86_64.rpm


Advertisement

Description

cryptominisat-devel - Header files for developing with cryptominisat

Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: cryptominisat-devel
Package version: 2.9.8
Package release: 1-omv2013.0
Package architecture: x86_64
Package type: rpm
Installed size: 250.09 KB
Download size: 53.73 KB
Official Mirror: abf-downloads.openmandriva.org
Header files for developing applications that use cryptominisat.

Alternatives

Provides

  • cryptominisat-devel == 2.9.8-1:2013.0
  • devel(libcryptominisat-2.9.8(64bit))

    Install Howto

    1. Enable OpenMandriva Contrib repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install cryptominisat-devel rpm package:
      # urpmi 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

    2013-10-28 - Paulo Andrade <paulo.cesar.pereira.de.andrade@gmail.com> + Revision: d555518 - Update to latest upstream release

    Advertisement
    Advertisement