cryptominisat-2.9.8-4-rosa2016.1.x86_64.rpm


Advertisement

Description

cryptominisat - SAT solver

Property Value
Distribution ROSA 2016.1
Repository ROSA Contrib x86_64
Package filename cryptominisat-2.9.8-4-rosa2016.1.x86_64.rpm
Package name cryptominisat
Package version 2.9.8
Package release 4-rosa2016.1
Package architecture x86_64
Package type rpm
Category Sciences/Mathematics
Homepage http://www.msoos.org/cryptominisat2/
License MIT
Maintainer -
Download size 26.06 KB
Installed size 53.16 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-4-rosa2016.1.i586.rpm 2.9.8 i586 ROSA Contrib
cryptominisat - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(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(GOMP_4.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.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
libz.so.1()(64bit) -

Provides

Name Value
cryptominisat == 2.9.8-4:2016.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package cryptominisat-2.9.8-4-rosa2016.1.x86_64.rpm
Source Package cryptominisat-2.9.8-4.src.rpm

Install Howto

  1. Enable ROSA Contrib 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

2017-03-02 - Andrey Bondrov <andrey.bondrov@rosalab.ru> 2.9.8-4
- (85d8700) MassBuild#1273: Increase release tag

See Also

Package Description
cs_obexftp-1.0.0.18-5-rosa2016.1.noarch.rpm ObexFtp files transfert between two devices
cscope-15.8-4-rosa2016.1.x86_64.rpm C source file browser
csmash-0.6.6-23-rosa2016.1.x86_64.rpm A 3D table tennis game
csound-6.07.0-4-rosa2016.1.x86_64.rpm A sound synthesis language and library
csound-dssi-6.07.0-4-rosa2016.1.x86_64.rpm Disposable Soft Synth Interface (DSSI) plug-in for Csound
csound-fltk-6.07.0-4-rosa2016.1.x86_64.rpm FLTK plug-ins for Csound
csound-fluidsynth-6.07.0-4-rosa2016.1.x86_64.rpm Fluidsyth sound font plug-in for Csound
csound-jack-6.07.0-4-rosa2016.1.x86_64.rpm Jack Audio plug-ins for Csound
csound-java-6.07.0-4-rosa2016.1.x86_64.rpm Java Csound support
csound-javadoc-6.07.0-4-rosa2016.1.x86_64.rpm API documentation for Java Csound support
csound-manual-6.07.0-4-rosa2016.1.noarch.rpm The Csound manual
csound-osc-6.07.0-4-rosa2016.1.x86_64.rpm Open Sound Control (OSC) plug-in for Csound
csound-python-6.07.0-4-rosa2016.1.x86_64.rpm Python Csound files and libraries
csound-stk-6.07.0-4-rosa2016.1.x86_64.rpm STK plug-ins for Csound
csound-virtual-keyboard-6.07.0-4-rosa2016.1.x86_64.rpm Virtual MIDI keyboard plug-in for Csound
Advertisement
Advertisement