Fri, 10 Jan 2025 14:05:19 UTC | login

Information for RPM minisat2-2.2.1-15.fc37.riscv64.rpm

ID874459
Nameminisat2
Version2.2.1
Release15.fc37
Epoch
Archriscv64
SummaryMinimalistic SAT solver
DescriptionMiniSat 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 Time2022-11-08 12:01:35 GMT
Size26.81 KB
213d341ac31020625b34bb57a688c8cb
LicenseMIT
Buildrootf37-build-668441-74719
Provides
minisat2 = 2.2.1-15.fc37
minisat2(riscv-64) = 2.2.1-15.fc37
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)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(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-15.fc37
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 ascending sort Size
/usr/bin/minisat28.66 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/2d0.00 B
/usr/lib/.build-id/2d/ddfe1f6e9018d37a3624efe8ca346c3b4c92e227.00 B
/usr/share/doc/minisat20.00 B
/usr/share/doc/minisat2/ReleaseNotes-2.2.0.txt3.35 KB
/usr/share/doc/minisat2/minisat-user-guide.html8.07 KB
/usr/share/doc/minisat2/minisat2-test.in67.00 B
/usr/share/doc/minisat2/minisat2-test.out21.00 B
/usr/share/man/man1/minisat.1.gz1.96 KB
Component of No Buildroots