abc-devel-1.01-35.git20220731.fc37.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-35.git20220731.fc37.riscv64.rpm

873327

Name

abc-devel

Version

1.01

Release

35.git20220731.fc37

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2022-11-07 12:34:56 GMT

Size

428.57 KB

SIGMD5

3dbc2bd7b7be995ab0cf5d99f6f443b0

License

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

Buildroot

f37-build-667830-74609

Provides

abc-devel = 1.01-35.git20220731.fc37

abc-devel(riscv-64) = 1.01-35.git20220731.fc37

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-35.git20220731.fc37

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 422 >>>
/usr/include/abc/aig/gia/gia.h	124.58 KB
/usr/include/abc/misc/util/utilTruth.h	116.19 KB
/usr/include/abc/base/abc/abc.h	87.11 KB
/usr/include/abc/base/acb/acb.h	64.78 KB
/usr/include/abc/misc/vec/vecInt.h	63.34 KB
/usr/include/abc/base/cba/cba.h	59.92 KB
/usr/include/abc/bdd/cudd/cudd.h	54.79 KB
/usr/include/abc/base/bac/bac.h	52.98 KB
/usr/include/abc/bdd/cudd/cuddInt.h	50.92 KB
/usr/include/abc/aig/miniaig/ndr.h	47.77 KB
/usr/include/abc/aig/aig/aig.h	46.43 KB
/usr/include/abc/map/if/if.h	44.58 KB
/usr/include/abc/misc/mvc/mvc.h	36.93 KB
/usr/include/abc/misc/vec/vecWrd.h	36.23 KB
/usr/include/abc/bool/kit/kit.h	35.27 KB
/usr/include/abc/aig/ivy/ivy.h	33.78 KB
/usr/include/abc/sat/glucose2/Solver.h	32.04 KB
/usr/include/abc/misc/vec/vecPtr.h	31.76 KB
/usr/include/abc/map/scl/sclLib.h	31.35 KB
/usr/include/abc/sat/glucose/pstdint.h	30.64 KB
/usr/include/abc/sat/glucose2/pstdint.h	30.64 KB
/usr/include/abc/misc/espresso/espresso.h	30.20 KB
/usr/include/abc/base/wlc/wlc.h	29.80 KB
/usr/include/abc/sat/bsat2/pstdint.h	26.50 KB
/usr/include/abc/misc/vec/vecStr.h	26.04 KB
/usr/include/abc/map/mapper/mapperInt.h	25.78 KB
/usr/include/abc/sat/glucose/Solver.h	25.75 KB
/usr/include/abc/proof/fraig/fraigInt.h	25.33 KB
/usr/include/abc/map/scl/sclSize.h	24.76 KB
/usr/include/abc/map/mpm/mpmMig.h	24.26 KB
/usr/include/abc/opt/fxu/fxuInt.h	24.18 KB
/usr/include/abc/misc/vec/vecWec.h	23.97 KB
/usr/include/abc/aig/miniaig/miniaig.h	23.53 KB
/usr/include/abc/proof/fra/fra.h	22.95 KB
/usr/include/abc/sat/bsat/satSolver.h	22.80 KB
/usr/include/abc/sat/bsat/satSolver3.h	21.67 KB
/usr/include/abc/sat/bsat2/Solver.h	21.41 KB
/usr/include/abc/base/wln/wln.h	21.41 KB
/usr/include/abc/map/fpga/fpgaInt.h	21.12 KB
/usr/include/abc/aig/hop/hop.h	21.10 KB
/usr/include/abc/base/cba/cbaPrs.h	20.91 KB
/usr/include/abc/bool/dec/dec.h	20.64 KB
/usr/include/abc/misc/vec/vecVec.h	20.53 KB
/usr/include/abc/misc/util/abc_global.h	20.14 KB
/usr/include/abc/bool/deco/deco.h	19.96 KB
/usr/include/abc/misc/extra/extra.h	19.83 KB
/usr/include/abc/misc/vec/vecFlt.h	19.65 KB
/usr/include/abc/bdd/extrab/extraBdd.h	19.55 KB
/usr/include/abc/opt/nwk/nwk.h	19.42 KB
/usr/include/abc/map/cov/covInt.h	19.35 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-35.git20220731.fc37.riscv64.rpm