abc-devel-1.01-19.git20181121.fc30.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-19.git20181121.fc30.riscv64.rpm

294760

Name

abc-devel

Version

1.01

Release

19.git20181121.fc30

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2018-12-03 14:18:37 GMT

Size

463.45 KB

SIGMD5

f748e3a8662db0b33210e66cb4c15c63

License

MIT

Buildroot

f30-build-35575-19885

Provides

abc-devel = 1.01-19.git20181121.fc30

abc-devel(riscv-64) = 1.01-19.git20181121.fc30

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-19.git20181121.fc30

libabc.so.0()(64bit)

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-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	117.58 KB
/usr/include/abc/misc/util/utilTruth.h	102.39 KB
/usr/include/abc/sat/glucose/stdint.h	99.35 KB
/usr/include/abc/base/abc/abc.h	86.72 KB
/usr/include/abc/base/acb/acb.h	64.25 KB
/usr/include/abc/base/cba/cba.h	59.92 KB
/usr/include/abc/misc/vec/vecInt.h	55.28 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/aig/aig.h	46.43 KB
/usr/include/abc/aig/miniaig/ndr.h	45.06 KB
/usr/include/abc/map/if/if.h	44.19 KB
/usr/include/abc/misc/mvc/mvc.h	36.93 KB
/usr/include/abc/bool/kit/kit.h	34.69 KB
/usr/include/abc/aig/ivy/ivy.h	33.78 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/espresso/espresso.h	30.20 KB
/usr/include/abc/misc/vec/vecPtr.h	30.10 KB
/usr/include/abc/misc/vec/vecWrd.h	28.90 KB
/usr/include/abc/base/wlc/wlc.h	28.32 KB
/usr/include/abc/sat/bsat2/pstdint.h	26.50 KB
/usr/include/abc/misc/vec/vecStr.h	25.84 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/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/base/wln/wln.h	20.83 KB
/usr/include/abc/bool/dec/dec.h	20.62 KB
/usr/include/abc/misc/vec/vecVec.h	20.50 KB
/usr/include/abc/bool/deco/deco.h	19.94 KB
/usr/include/abc/misc/vec/vecWec.h	19.76 KB
/usr/include/abc/misc/extra/extra.h	19.64 KB
/usr/include/abc/misc/vec/vecFlt.h	19.59 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/amap/amapInt.h	19.36 KB
/usr/include/abc/map/cov/covInt.h	19.35 KB
/usr/include/abc/sat/bsat/satClause.h	18.10 KB
/usr/include/abc/misc/vec/vecHsh.h	17.70 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-19.git20181121.fc30.riscv64.rpm