SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

picosat rpm build for : Rawhide. For other distributions click picosat.

Name : picosat
Version : 965 Vendor : Fedora Project
Release : 20.fc40 Date : 2024-01-26 00:32:05
Group : Unspecified Source RPM : picosat-965-20.fc40.src.rpm
Size : 0.12 MB
Packager : Fedora Project
Summary : A SAT solver
Description :
PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF). PicoSAT can generate proofs
and cores in memory by compressing the proof trace. It supports the
proof format of TraceCheck.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/development/rawhide/Everything/x86_64/os/Packages/p

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
picosat
picosat(x86-64)

Requires :
bzip2
gzip
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs(x86-64) = 965-20.fc40
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/bin/picogcnf
/usr/bin/picomcs
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id
/usr/lib/.build-id/41
/usr/lib/.build-id/41/09e382e5e1477a9a2d20ca13e2d6878de02cd2
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/44002c144296e596c0ddffa091db0fefcdc814
/usr/lib/.build-id/af
/usr/lib/.build-id/af/3e37eacb179bef4d78aaa915315620ce9e97db
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/1b1012cdbd49860c77528634cd2fff355a4271
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/97a8a1e087d30282cc95b39f22ee2508946341
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz

 
ICM