Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 28 Sep 2024 00:50:43 UTC |
login
Information for RPM
abc-devel-1.01-28.git20201126.fc33.riscv64.rpm
ID
749277
Name
abc-devel
Version
1.01
Release
28.git20201126.fc33
Epoch
Arch
riscv64
Summary
Headers and libraries for developing with ABC
Description
Headers and libraries for developing applications that use ABC.
Build Time
2020-12-24 11:16:53 GMT
Size
421.42 KB
SIGMD5
c1129cc3fd7b7eead59df0306b1ed3d4
License
MIT
Buildroot
f33-build-374207-61516
Provides
abc-devel = 1.01-28.git20201126.fc33
abc-devel(riscv-64) = 1.01-28.git20201126.fc33
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
abc-libs(riscv-64) = 1.01-28.git20201126.fc33
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:
1
2
3
4
5
6
7
8
9
1 through 50 of 420
>>>
Name
Size
/usr/lib64/libabc.so
11.00 B
/usr/include/abc/sat/xsat/xsatWatchList.h
6.32 KB
/usr/include/abc/sat/xsat/xsatUtils.h
2.73 KB
/usr/include/abc/sat/xsat/xsatSolver.h
6.82 KB
/usr/include/abc/sat/xsat/xsatMemory.h
5.25 KB
/usr/include/abc/sat/xsat/xsatHeap.h
8.14 KB
/usr/include/abc/sat/xsat/xsatClause.h
3.01 KB
/usr/include/abc/sat/xsat/xsatBQueue.h
4.33 KB
/usr/include/abc/sat/xsat/xsat.h
2.17 KB
/usr/include/abc/sat/xsat
0.00 B
/usr/include/abc/sat/satoko/watch_list.h
5.79 KB
/usr/include/abc/sat/satoko/utils/vec/vec_uint.h
6.74 KB
/usr/include/abc/sat/satoko/utils/vec/vec_sdbl.h
6.32 KB
/usr/include/abc/sat/satoko/utils/vec/vec_int.h
5.92 KB
/usr/include/abc/sat/satoko/utils/vec/vec_flt.h
6.06 KB
/usr/include/abc/sat/satoko/utils/vec/vec_char.h
6.42 KB
/usr/include/abc/sat/satoko/utils/vec
0.00 B
/usr/include/abc/sat/satoko/utils/sort.h
1.66 KB
/usr/include/abc/sat/satoko/utils/sdbl.h
3.65 KB
/usr/include/abc/sat/satoko/utils/misc.h
906.00 B
/usr/include/abc/sat/satoko/utils/mem.h
816.00 B
/usr/include/abc/sat/satoko/utils/heap.h
5.17 KB
/usr/include/abc/sat/satoko/utils/b_queue.h
1.87 KB
/usr/include/abc/sat/satoko/utils
0.00 B
/usr/include/abc/sat/satoko/types.h
1.21 KB
/usr/include/abc/sat/satoko/solver.h
7.90 KB
/usr/include/abc/sat/satoko/satoko.h
5.17 KB
/usr/include/abc/sat/satoko/clause.h
2.00 KB
/usr/include/abc/sat/satoko/cdb.h
2.34 KB
/usr/include/abc/sat/satoko/act_var.h
1.51 KB
/usr/include/abc/sat/satoko/act_clause.h
1.15 KB
/usr/include/abc/sat/satoko
0.00 B
/usr/include/abc/sat/psat/m114p_types.h
210.00 B
/usr/include/abc/sat/psat/m114p.h
2.01 KB
/usr/include/abc/sat/psat
0.00 B
/usr/include/abc/sat/proof/pr.h
2.08 KB
/usr/include/abc/sat/proof
0.00 B
/usr/include/abc/sat/msat/msatInt.h
15.69 KB
/usr/include/abc/sat/msat/msat.h
9.08 KB
/usr/include/abc/sat/msat
0.00 B
/usr/include/abc/sat/lsat/solver.h
5.23 KB
/usr/include/abc/sat/lsat
0.00 B
/usr/include/abc/sat/glucose2/pstdint.h
30.64 KB
/usr/include/abc/sat/glucose2/XAlloc.h
2.00 KB
/usr/include/abc/sat/glucose2/Vec.h
5.60 KB
/usr/include/abc/sat/glucose2/System.h
2.55 KB
/usr/include/abc/sat/glucose2/Sort.h
3.27 KB
/usr/include/abc/sat/glucose2/SolverTypes.h
16.30 KB
/usr/include/abc/sat/glucose2/Solver.h
30.76 KB
/usr/include/abc/sat/glucose2/SimpSolver.h
9.91 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.