INFO
Name: picosat
Version: 965-30.el9
Arch: ppc64le
Summary: A SAT solver
License: MIT
Vendor: Fedora Project
Build Host: buildvm-ppc64le-20.rdu3.fedoraproject.org
Build Date: Sun Apr 26 14:27:35 2026
Size: 348113
URL: https://fmv.jku.at/picosat/
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.
FILES
/usr/bin/picogcnf
/usr/bin/picomcs
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id
/usr/lib/.build-id/05
/usr/lib/.build-id/05/d43df230321edff73ddd62ef81b6c1da2f97ba
/usr/lib/.build-id/50
/usr/lib/.build-id/50/c84054df55001bdd08a1fb47ea4574c5d652ef
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/eeb69c2aaae1fa430005f731ef3a196b8da587
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/c3dad0fabe3656ca201f02f969a198fc6605b7
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/e86a863bed281f331173e5874e93dc6bc3e43b
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz
REQUIRES
bzip2
gzip
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs(ppc-64) 965-30.el9
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)
PROVIDES
picosat 965-30.el9
picosat(ppc-64) 965-30.el9
CONFIG FILES
/usr/bin/picogcnf
/usr/bin/picomcs
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id a
/usr/lib/.build-id/05 a
/usr/lib/.build-id/05/d43df230321edff73ddd62ef81b6c1da2f97ba a
/usr/lib/.build-id/50 a
/usr/lib/.build-id/50/c84054df55001bdd08a1fb47ea4574c5d652ef a
/usr/lib/.build-id/ba a
/usr/lib/.build-id/ba/eeb69c2aaae1fa430005f731ef3a196b8da587 a
/usr/lib/.build-id/f2 a
/usr/lib/.build-id/f2/c3dad0fabe3656ca201f02f969a198fc6605b7 a
/usr/lib/.build-id/f6 a
/usr/lib/.build-id/f6/e86a863bed281f331173e5874e93dc6bc3e43b a
/usr/share/man/man1/picomus.1.gz d
/usr/share/man/man1/picosat.1.gz d
/usr/share/man/man1/picosat.trace.1.gz d
LICENSE FILES
MIT
|
