SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

picosat rpm build for : Mandriva 2011. For other distributions click picosat.

Name : picosat
Version : 936 Vendor : Mandriva
Release : 6 Date : 2011-02-27 16:48:08
Group : Sciences/Computer science Source RPM : picosat-936-6.src.rpm
Size : 0.05 MB
Packager : Funda Wang < fwang_mandriva_org>
Summary : Lightweight SAT solver
Description :
The SAT problem is the classical NP complete problem of searching
for a satisfying assignment of a propositional formula in
conjunctive normal form (CNF). General information on SAT can be
found at http://www.satlive.org or http://www.satlib.org.

RPM found in directory: /mirror/carroll.cac.psu.edu/pub/linux/distributions/mandrakelinux/official/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.gwdg.de  picosat-936-6-mdv2011.0.i586.rpm
ftp.gwdg.de  picosat-936-6-mdv2011.0.i586.rpm
bo.mirror.garr.it  picosat-936-6-mdv2011.0.i586.rpm
ftp.icm.edu.pl  picosat-936-6-mdv2011.0.i586.rpm
ftp.pbone.net  picosat-936-6-mdv2011.0.i586.rpm
     Search for other platforms
picosat-936-6-mdv2011.0.sparc.rpm
picosat-936-6-mdv2011.0.alpha.rpm
picosat-936-6-mdv2011.0.ppc.rpm
picosat-936-6-mdv2011.0.ia64.rpm
picosat-936-6-mdv2011.0.s390.rpm

Provides :
picosat

Requires :
gzip
libpicosat1 = 936-6
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1)
libc.so.6(GLIBC_2.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.7)
libpicosat-trace.so.1
libpicosat.so.1
rtld(GNU_HASH)
rpmlib(PayloadIsLzma) <= 4.4.6-1


Content of RPM :
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/share/man/man1/picomus.1.xz
/usr/share/man/man1/picosat.1.xz
/usr/share/man/man1/picosat.trace.1.xz