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


Advertisement

Description

cryptominisat-devel - Header files for developing with cryptominisat

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Contrib Release 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

Package Version Architecture Repository
cryptominisat-devel-2.9.8-1-omv2013.0.i586.rpm 2.9.8 i586 OpenMandriva Contrib Release
cryptominisat-devel - - -

Requires

Name Value
cryptominisat-libs = 2.9.8-1
devel(libgcc_s(64bit)) -
devel(libgomp(64bit)) -
devel(libstdc++(64bit)) -
devel(libz(64bit)) -

Provides

Name Value
cryptominisat-devel = 2.9.8-1
devel(libcryptominisat-2.9.8(64bit)) -

Download

Type URL
Binary Package cryptominisat-devel-2.9.8-1-omv2013.0.x86_64.rpm
Source Package cryptominisat-2.9.8-1.src.rpm

Install Howto

  1. Enable OpenMandriva Contrib Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install cryptominisat-devel rpm package:
    # urpmi cryptominisat-devel

Files

Path
/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

See Also

Package Description
cryptominisat-libs-2.9.8-1-omv2013.0.x86_64.rpm Cryptominisat library
cs_obexftp-1.0.0.18-2-omv2013.0.noarch.rpm ObexFtp files transfert between two devices
cscope-15.8-2-omv2015.0.x86_64.rpm C source file browser
csmash-0.6.6-20-omv2015.0.x86_64.rpm A 3D table tennis game
csound-6.06-1-omv2015.0.x86_64.rpm A sound synthesis language and library
csound-devel-6.06-1-omv2015.0.x86_64.rpm Csound development files and libraries
csound-doc-6.06-1-omv2015.0.noarch.rpm Csound manual
csound-dssi-6.06-1-omv2015.0.x86_64.rpm Disposable Soft Synth Interface (DSSI) plugin for Csound
csound-fltk-6.06-1-omv2015.0.x86_64.rpm FLTK plugins for Csound
csound-fluidsynth-6.06-1-omv2015.0.x86_64.rpm Fluidsyth soundfont plugin for Csound
csound-jack-6.06-1-omv2015.0.x86_64.rpm Jack Audio plugins for Csound
csound-lua-6.06-1-omv2015.0.x86_64.rpm Lua Csound support
csound-osc-6.06-1-omv2015.0.x86_64.rpm Open Sound Control (OSC) plugin for Csound
csound-portaudio-6.06-1-omv2015.0.x86_64.rpm PortAudio plugin for Csound
csound-python-6.06-1-omv2015.0.x86_64.rpm Python Csound development files and libraries
Advertisement
Advertisement