abc-devel-1.01-28.git20201126.fc33.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-28.git20201126.fc33.riscv64.rpm

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

Name	Size
Page: 1 through 50 of 420 >>>
/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

Main Site Links:

Information for RPM abc-devel-1.01-28.git20201126.fc33.riscv64.rpm