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


Advertisement

Description

cryptominisat - SAT solver

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Contrib Release i586
Package name cryptominisat
Package version 2.9.8
Package release 1-omv2013.0
Package architecture i586
Package type rpm
Installed size 49.05 KB
Download size 26.17 KB
Official Mirror abf-downloads.openmandriva.org
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.x86_64.rpm 2.9.8 x86_64 OpenMandriva Contrib Release
cryptominisat - - -

Requires

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

Provides

Name Value
cryptominisat == 2.9.8-1:2013.0

Download

Type URL
Binary Package cryptominisat-2.9.8-1-omv2013.0.i586.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 rpm package:
    # urpmi 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.i586.rpm Header files for developing with cryptominisat
cryptominisat-libs-2.9.8-1-omv2013.0.i586.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.i586.rpm C source file browser
csmash-0.6.6-20-omv2015.0.i586.rpm A 3D table tennis game
csound-6.06-1-omv2015.0.i586.rpm A sound synthesis language and library
csound-devel-6.06-1-omv2015.0.i586.rpm Csound development files and libraries
csound-doc-6.06-1-omv2015.0.noarch.rpm Csound manual
csound-dssi-6.06-1-omv2015.0.i586.rpm Disposable Soft Synth Interface (DSSI) plugin for Csound
csound-fltk-6.06-1-omv2015.0.i586.rpm FLTK plugins for Csound
csound-fluidsynth-6.06-1-omv2015.0.i586.rpm Fluidsyth soundfont plugin for Csound
csound-gui-5.18.02-3-omv2013.0.i586.rpm A FLTK-based GUI for Csound
csound-jack-6.06-1-omv2015.0.i586.rpm Jack Audio plugins for Csound
csound-java-5.18.02-3-omv2013.0.i586.rpm Java Csound support
csound-javadoc-5.18.02-3-omv2013.0.i586.rpm API documentation for Java Csound support
Advertisement
Advertisement