Sun, 02 Jun 2024 11:56:44 UTC | login

Information for RPM abc-devel-1.01-22.git20190608.fc31.riscv64.rpm

ID383141
Nameabc-devel
Version1.01
Release22.git20190608.fc31
Epoch
Archriscv64
SummaryHeaders and libraries for developing with ABC
DescriptionHeaders and libraries for developing applications that use ABC.
Build Time2019-07-24 20:40:01 GMT
Size423.87 KB
bae87e933b2fe3d96be8abc83911323e
LicenseMIT
Buildrootf31-build-51291-27496
Provides
abc-devel = 1.01-22.git20190608.fc31
abc-devel(riscv-64) = 1.01-22.git20190608.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(riscv-64) = 1.01-22.git20190608.fc31
libabc.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 51 through 100 of 398 >>>
Name descending sort Size
/usr/include/abc/sat/glucose/SimpSolver.h9.87 KB
/usr/include/abc/sat/glucose/Queue.h2.99 KB
/usr/include/abc/sat/glucose/ParseUtils.h4.93 KB
/usr/include/abc/sat/glucose/Options.h11.97 KB
/usr/include/abc/sat/glucose/Map.h6.63 KB
/usr/include/abc/sat/glucose/IntTypes.h1.85 KB
/usr/include/abc/sat/glucose/Heap.h4.64 KB
/usr/include/abc/sat/glucose/Dimacs.h3.29 KB
/usr/include/abc/sat/glucose/Constants.h1.57 KB
/usr/include/abc/sat/glucose/BoundedQueue.h3.98 KB
/usr/include/abc/sat/glucose/Alloc.h4.46 KB
/usr/include/abc/sat/glucose/Alg.h2.82 KB
/usr/include/abc/sat/glucose/AbcGlucose.h5.02 KB
/usr/include/abc/sat/glucose0.00 B
/usr/include/abc/sat/csat/csat_apis.h7.91 KB
/usr/include/abc/sat/csat0.00 B
/usr/include/abc/sat/cnf/cnf.h10.25 KB
/usr/include/abc/sat/cnf0.00 B
/usr/include/abc/sat/bsat2/pstdint.h26.50 KB
/usr/include/abc/sat/bsat2/XAlloc.h1.88 KB
/usr/include/abc/sat/bsat2/Vec.h5.39 KB
/usr/include/abc/sat/bsat2/System.h2.36 KB
/usr/include/abc/sat/bsat2/Sort.h3.20 KB
/usr/include/abc/sat/bsat2/SolverTypes.h14.76 KB
/usr/include/abc/sat/bsat2/Solver.h21.41 KB
/usr/include/abc/sat/bsat2/SimpSolver.h9.49 KB
/usr/include/abc/sat/bsat2/Queue.h2.92 KB
/usr/include/abc/sat/bsat2/ParseUtils.h3.95 KB
/usr/include/abc/sat/bsat2/Options.h11.85 KB
/usr/include/abc/sat/bsat2/Map.h6.55 KB
/usr/include/abc/sat/bsat2/IntTypes.h1.79 KB
/usr/include/abc/sat/bsat2/Heap.h4.55 KB
/usr/include/abc/sat/bsat2/Dimacs.h3.21 KB
/usr/include/abc/sat/bsat2/Alloc.h4.32 KB
/usr/include/abc/sat/bsat2/Alg.h2.75 KB
/usr/include/abc/sat/bsat20.00 B
/usr/include/abc/sat/bsat/satVec.h5.52 KB
/usr/include/abc/sat/bsat/satTruth.h5.00 KB
/usr/include/abc/sat/bsat/satStore.h6.50 KB
/usr/include/abc/sat/bsat/satSolver3.h21.67 KB
/usr/include/abc/sat/bsat/satSolver2.h15.00 KB
/usr/include/abc/sat/bsat/satSolver.h22.24 KB
/usr/include/abc/sat/bsat/satProof2.h9.62 KB
/usr/include/abc/sat/bsat/satMem.h3.54 KB
/usr/include/abc/sat/bsat/satClause.h18.10 KB
/usr/include/abc/sat/bsat0.00 B
/usr/include/abc/sat/bmc/bmc.h10.94 KB
/usr/include/abc/sat/bmc0.00 B
/usr/include/abc/sat0.00 B
/usr/include/abc/proof/ssw/sswInt.h17.03 KB
Component of No Buildroots