yosyshq-abc-devel-0.35-2.20231108git896e5e7.fc40.riscv64.rpm | RPM Info

Information for RPM yosyshq-abc-devel-0.35-2.20231108git896e5e7.fc40.riscv64.rpm

1256811

Name

yosyshq-abc-devel

Version

0.35

Release

2.20231108git896e5e7.fc40

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2024-03-21 12:51:35 GMT

Size

444.43 KB

SIGMD5

fcca7615e6ae8de5474e9e0ec69d628c

License

MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause

Buildroot

f40-build-794447-139514

Provides

abc-devel = 1.01-40.0.35.2.20231108git896e5e7.fc40

yosyshq-abc-devel = 0.35-2.20231108git896e5e7.fc40

yosyshq-abc-devel(riscv-64) = 0.35-2.20231108git896e5e7.fc40

Obsoletes

abc-devel < 1.01-41

Conflicts

No Conflicts

Requires

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

yosyshq-abc-libs(riscv-64) = 0.35-2.20231108git896e5e7.fc40

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 425 >>>
/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.05 KB
/usr/include/abc/sat/glucose2/Vec.h	6.14 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.40 KB
/usr/include/abc/sat/glucose2/Solver.h	32.04 KB
/usr/include/abc/sat/glucose2/SimpSolver.h	10.72 KB

Component of

Buildroot	Created	State
1 through 1 of 1
f40-build-805569-144785	2024-04-14 13:00:27

Main Site Links:

Information for RPM yosyshq-abc-devel-0.35-2.20231108git896e5e7.fc40.riscv64.rpm