Main Site Links:

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

Information for RPM minisat2-2.2.1-19.fc40.riscv64.rpm

ID	1267209
Name	minisat2
Version	2.2.1
Release	19.fc40
Epoch
Arch	riscv64
Summary	Minimalistic SAT solver
Description	MiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.
Build Time	2024-03-28 13:29:24 GMT
Size	27.50 KB
SIGMD5	ecd80e907573915119008038aaada768
License	MIT
Buildroot	f40-build-799653-142442
Provides	minisat2 = 2.2.1-19.fc40 minisat2(riscv-64) = 2.2.1-19.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	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) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libminisat.so.2()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libz.so.1()(64bit) minisat2-libs(riscv-64) = 2.2.1-19.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)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 10 of 10 Name Size /usr/bin/minisat 27.74 KB /usr/lib/.build-id 0.00 B /usr/lib/.build-id/9c 0.00 B /usr/lib/.build-id/9c/890dde29f660c846b824260d8fa5d3fda53d7b 27.00 B /usr/share/doc/minisat2 0.00 B /usr/share/doc/minisat2/ReleaseNotes-2.2.0.txt 3.35 KB /usr/share/doc/minisat2/minisat-user-guide.html 8.07 KB /usr/share/doc/minisat2/minisat2-test.in 67.00 B /usr/share/doc/minisat2/minisat2-test.out 21.00 B /usr/share/man/man1/minisat.1.gz 1.96 KB
Component of	No Buildroots