abc-devel-1.01-18.git20180708.fc29.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-18.git20180708.fc29.riscv64.rpm

205054

Name

abc-devel

Version

1.01

Release

18.git20180708.fc29

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2018-07-21 16:17:44 GMT

Size

460.39 KB

SIGMD5

f56da2b8a474b53df8715122dc3c8dd3

License

MIT

Buildroot

f29-build-18745-10118

Provides

abc-devel = 1.01-18.git20180708.fc29

abc-devel(riscv-64) = 1.01-18.git20180708.fc29

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-18.git20180708.fc29

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 396 >>>
/usr/include/abc/aig/gia/gia.h	117.56 KB
/usr/include/abc/misc/util/utilTruth.h	101.30 KB
/usr/include/abc/sat/glucose/stdint.h	99.35 KB
/usr/include/abc/base/abc/abc.h	86.62 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	27.94 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/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/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
/usr/include/abc/misc/util/abc_global.h	17.59 KB
/usr/include/abc/proof/ssw/sswInt.h	17.03 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-18.git20180708.fc29.riscv64.rpm