Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM picosat-965-6.fc29.riscv64.rpm

ID	87568
Name	picosat
Version	965
Release	6.fc29
Epoch
Arch	riscv64
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.
Build Time	2018-05-23 11:45:49 GMT
Size	38.20 KB
SIGMD5	758c88c48bf0eab3396c321eff9c35ae
License	MIT
Buildroot	f29-build-3790-951
Provides	picosat = 965-6.fc29 picosat(riscv-64) = 965-6.fc29
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bzip2 gzip ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libpicosat-trace.so.0()(64bit) libpicosat.so.0()(64bit) picosat-libs(riscv-64) = 965-6.fc29 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 19 of 19 Name Size /usr/bin/picogcnf 13.72 KB /usr/bin/picomcs 19.02 KB /usr/bin/picomus 19.18 KB /usr/bin/picosat 28.95 KB /usr/bin/picosat.trace 28.95 KB /usr/lib/.build-id 0.00 B /usr/lib/.build-id/78 0.00 B /usr/lib/.build-id/78/83610e97897356b5ab64d4f97b88e03ac78655 27.00 B /usr/lib/.build-id/a2 0.00 B /usr/lib/.build-id/a2/99750658c58c1d25a59fbd4c3aaaa91ab2aaad 27.00 B /usr/lib/.build-id/d7 0.00 B /usr/lib/.build-id/d7/7b7351d4f72ce3a96ac83e54b2e87db2243a5f 33.00 B /usr/lib/.build-id/d8 0.00 B /usr/lib/.build-id/d8/e90393c2d2a09861fe556477a1fc00b19d9843 27.00 B /usr/lib/.build-id/f5 0.00 B /usr/lib/.build-id/f5/725612c6ec2450d564654afa0b9e20e4a686e9 28.00 B /usr/share/man/man1/picomus.1.gz 831.00 B /usr/share/man/man1/picosat.1.gz 2.07 KB /usr/share/man/man1/picosat.trace.1.gz 34.00 B
Component of	1 through 1 of 1 Buildroot Created State f29-build-18283-9030 2018-07-19 00:55:38