abc-devel-1.01-37.git20221229.fc38.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-37.git20221229.fc38.riscv64.rpm

977498

Name

abc-devel

Version

1.01

Release

37.git20221229.fc38

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2023-03-23 07:40:20 GMT

Size

429.76 KB

SIGMD5

6c274279611bbbdee16a26d06ef26440

License

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

Buildroot

f38-build-699905-87704

Provides

abc-devel = 1.01-37.git20221229.fc38

abc-devel(riscv-64) = 1.01-37.git20221229.fc38

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-37.git20221229.fc38

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 422 >>>
/usr/include/abc/sat/bsat2/ParseUtils.h	3.95 KB
/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.80 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	11.16 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.90 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	12.18 KB
/usr/include/abc/proof/cec/cec.h	12.06 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

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-37.git20221229.fc38.riscv64.rpm