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


Advertisement

Description

cryptominisat - SAT solver

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Unsupported Release x86_64
Package filename cryptominisat-2.9.8-1-omv2013.0.x86_64.rpm
Package name cryptominisat
Package version 2.9.8
Package release 1-omv2013.0
Package architecture x86_64
Package type rpm
Homepage http://www.msoos.org/cryptominisat2/
License MIT
Maintainer -
Download size 26.54 KB
Installed size 54.19 KB
CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver
with all the features and speed of successful SAT solvers, such as
MiniSat and PrecoSat.  The long-term goals of CryptoMiniSat are to be an
efficient sequential, parallel and distributed solver.  There are
solvers that are good at one or the other, e.g. ManySat (parallel) or
PSolver (distributed), but we wish to excel at all.
CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by
researchers and industry.

Alternatives

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

Requires

Name Value
cryptominisat-libs = 2.9.8-1
libc.so.6(GLIBC_2.14)(64bit) -
libcryptominisat-2.9.8.so()(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgomp.so.1()(64bit) -
libgomp.so.1(GOMP_1.0)(64bit) -
libgomp.so.1(OMP_1.0)(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
libz.so.1()(64bit) -

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package cryptominisat-2.9.8-1-omv2013.0.x86_64.rpm
Source Package cryptominisat-2.9.8-1.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install cryptominisat rpm package:
    # dnf install cryptominisat

Files

Path
/usr/bin/cryptominisat
/usr/share/man/man1/cryptominisat.1.xz

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-devel-2.9.8-1-omv2013.0.x86_64.rpm Header files for developing with cryptominisat
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
cs_obexftp-1.0.0.18-3-omv4000.noarch.rpm ObexFtp files transfert between two devices
cscope-15.8-2-omv2015.0.x86_64.rpm C source file browser
cscope-15.8-2-omv4000.x86_64.rpm C source file browser
csmash-0.6.6-20-omv2015.0.x86_64.rpm A 3D table tennis game
csmash-0.6.6-20-omv4000.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
Advertisement
Advertisement