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: <<< 101 through 150 of 420 >>>
/usr/include/abc/sat/bsat2/Options.h	11.85 KB
/usr/include/abc/sat/bsat2/Map.h	6.55 KB
/usr/include/abc/sat/bsat2/IntTypes.h	1.79 KB
/usr/include/abc/sat/bsat2/Heap.h	4.55 KB
/usr/include/abc/sat/bsat2/Dimacs.h	3.21 KB
/usr/include/abc/sat/bsat2/Alloc.h	4.32 KB
/usr/include/abc/sat/bsat2/Alg.h	2.75 KB
/usr/include/abc/sat/bsat2	0.00 B
/usr/include/abc/sat/bsat/satVec.h	5.52 KB
/usr/include/abc/sat/bsat/satTruth.h	5.00 KB
/usr/include/abc/sat/bsat/satStore.h	6.50 KB
/usr/include/abc/sat/bsat/satSolver3.h	21.67 KB
/usr/include/abc/sat/bsat/satSolver2.h	15.00 KB
/usr/include/abc/sat/bsat/satSolver.h	22.24 KB
/usr/include/abc/sat/bsat/satProof2.h	9.62 KB
/usr/include/abc/sat/bsat/satMem.h	3.54 KB
/usr/include/abc/sat/bsat/satClause.h	18.22 KB
/usr/include/abc/sat/bsat	0.00 B
/usr/include/abc/sat/bmc/bmc.h	10.94 KB
/usr/include/abc/sat/bmc	0.00 B
/usr/include/abc/sat	0.00 B
/usr/include/abc/proof/ssw/sswInt.h	17.03 KB
/usr/include/abc/proof/ssw/ssw.h	8.82 KB
/usr/include/abc/proof/ssw	0.00 B
/usr/include/abc/proof/ssc/sscInt.h	6.33 KB
/usr/include/abc/proof/ssc/ssc.h	2.79 KB
/usr/include/abc/proof/ssc	0.00 B
/usr/include/abc/proof/pdr/pdrInt.h	12.34 KB
/usr/include/abc/proof/pdr/pdr.h	4.87 KB
/usr/include/abc/proof/pdr	0.00 B
/usr/include/abc/proof/int2/int2Int.h	5.88 KB
/usr/include/abc/proof/int2/int2.h	3.20 KB
/usr/include/abc/proof/int2	0.00 B
/usr/include/abc/proof/int/intInt.h	5.68 KB
/usr/include/abc/proof/int/int.h	3.57 KB
/usr/include/abc/proof/int	0.00 B
/usr/include/abc/proof/fraig/fraigInt.h	25.33 KB
/usr/include/abc/proof/fraig/fraig.h	15.05 KB
/usr/include/abc/proof/fraig	0.00 B
/usr/include/abc/proof/fra/fra.h	22.95 KB
/usr/include/abc/proof/fra	0.00 B
/usr/include/abc/proof/dch/dchInt.h	7.99 KB
/usr/include/abc/proof/dch/dch.h	3.70 KB
/usr/include/abc/proof/dch	0.00 B
/usr/include/abc/proof/cec/cecInt.h	11.85 KB
/usr/include/abc/proof/cec/cec.h	11.73 KB
/usr/include/abc/proof/cec	0.00 B
/usr/include/abc/proof/acec/acecInt.h	4.68 KB
/usr/include/abc/proof/acec/acec.h	4.42 KB
/usr/include/abc/proof/acec	0.00 B

Component of

No Buildroots

Main Site Links:

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