cryptominisat-devel-2.9.11-1.fc25.i686.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: i686
Package type: rpm
Installed size: 250.28 KB
Download size: 64.33 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-32) = 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/lib/libcryptominisat.so

    Changelog

    2016-03-19 - Jerry James <loganjerry@gmail.com> - 2.9.11-1 - New upstream release

    2016-03-05 - Jerry James <loganjerry@gmail.com> - 2.9.10-3 - post/postun scripts are for libs, not the main package

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.9.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-09-04 - Jerry James <loganjerry@gmail.com> - 2.9.10-1 - New upstream release

    2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 2.9.9-5 - Rebuilt for GCC 5 C++11 ABI change

    2015-02-11 - Jerry James <loganjerry@gmail.com> - 2.9.9-4 - Use license macro

    2014-08-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

    2014-06-07 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

    2014-03-18 - Jerry James <loganjerry@gmail.com> - 2.9.9-1 - New upstream release

    Advertisement
    Advertisement