INFO
Name: picosat
Version: 965-28.el10_2
Arch: aarch64
Summary: A SAT solver
License: MIT
Vendor: Fedora Project
Build Host: buildvm-a64-34.rdu3.fedoraproject.org
Build Date: Fri Mar 13 04:21:06 2026
Size: 349489
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/0c
/usr/lib/.build-id/0c/b72465ccff8b0a9f29a67edfb8d8cb3403aefc
/usr/lib/.build-id/49
/usr/lib/.build-id/49/ecec3230742f2c32a5ef18795f832c8bb1c103
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/225dcde4f2253282048a1123c0522b63a794ec
/usr/lib/.build-id/69
/usr/lib/.build-id/69/329899c6b9c979ed75df0fbc3a1d2fc35f3c49
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/e6ae6f77210630ae8b18ce54926942106d166f
/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
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs(aarch-64) 965-28.el10_2
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-28.el10_2
picosat(aarch-64) 965-28.el10_2
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/0c a
/usr/lib/.build-id/0c/b72465ccff8b0a9f29a67edfb8d8cb3403aefc a
/usr/lib/.build-id/49 a
/usr/lib/.build-id/49/ecec3230742f2c32a5ef18795f832c8bb1c103 a
/usr/lib/.build-id/4c a
/usr/lib/.build-id/4c/225dcde4f2253282048a1123c0522b63a794ec a
/usr/lib/.build-id/69 a
/usr/lib/.build-id/69/329899c6b9c979ed75df0fbc3a1d2fc35f3c49 a
/usr/lib/.build-id/a7 a
/usr/lib/.build-id/a7/e6ae6f77210630ae8b18ce54926942106d166f 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
|
