abc-devel-1.01-27.git20200720.fc33.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-27.git20200720.fc33.riscv64.rpm

689579

Name

abc-devel

Version

1.01

Release

27.git20200720.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-08-14 12:19:56 GMT

Size

426.15 KB

SIGMD5

bf16595ae9a92bcc27a4094497d78f0f

License

MIT

Buildroot

f33-build-295324-55466

Provides

abc-devel = 1.01-27.git20200720.fc33

abc-devel(riscv-64) = 1.01-27.git20200720.fc33

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-27.git20200720.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 398 >>>
/usr/include/abc/aig/gia/gia.h	119.81 KB
/usr/include/abc/misc/util/utilTruth.h	110.80 KB
/usr/include/abc/sat/glucose/stdint.h	99.35 KB
/usr/include/abc/base/abc/abc.h	86.79 KB
/usr/include/abc/base/acb/acb.h	64.78 KB
/usr/include/abc/base/cba/cba.h	59.92 KB
/usr/include/abc/misc/vec/vecInt.h	56.08 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	46.62 KB
/usr/include/abc/aig/aig/aig.h	46.43 KB
/usr/include/abc/map/if/if.h	44.51 KB
/usr/include/abc/misc/mvc/mvc.h	36.93 KB
/usr/include/abc/bool/kit/kit.h	34.96 KB
/usr/include/abc/aig/ivy/ivy.h	33.78 KB
/usr/include/abc/misc/vec/vecWrd.h	32.74 KB
/usr/include/abc/map/scl/sclLib.h	31.35 KB
/usr/include/abc/sat/glucose/pstdint.h	30.64 KB
/usr/include/abc/misc/vec/vecPtr.h	30.62 KB
/usr/include/abc/misc/espresso/espresso.h	30.20 KB
/usr/include/abc/base/wlc/wlc.h	29.73 KB
/usr/include/abc/sat/bsat2/pstdint.h	26.50 KB
/usr/include/abc/misc/vec/vecStr.h	25.90 KB
/usr/include/abc/map/mapper/mapperInt.h	25.78 KB
/usr/include/abc/proof/fraig/fraigInt.h	25.33 KB
/usr/include/abc/sat/glucose/Solver.h	25.27 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/proof/fra/fra.h	22.95 KB
/usr/include/abc/sat/bsat/satSolver.h	22.24 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.16 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/vec/vecWec.h	20.16 KB
/usr/include/abc/bool/deco/deco.h	19.96 KB
/usr/include/abc/misc/extra/extra.h	19.75 KB
/usr/include/abc/misc/vec/vecFlt.h	19.65 KB
/usr/include/abc/bdd/extrab/extraBdd.h	19.55 KB
/usr/include/abc/misc/util/abc_global.h	19.51 KB
/usr/include/abc/opt/nwk/nwk.h	19.42 KB
/usr/include/abc/map/cov/covInt.h	19.35 KB
/usr/include/abc/map/amap/amapInt.h	19.33 KB
/usr/include/abc/sat/bsat/satClause.h	18.22 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-27.git20200720.fc33.riscv64.rpm