abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm

24081

Name

abc-devel

Version

1.01

Release

9.hg20160905.fc28

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2018-02-18 07:19:52 GMT

Size

364.96 KB

SIGMD5

68ff69027b4a5005af09e5f70843fedd

License

MIT

Provides

abc-devel = 1.01-9.hg20160905.fc28

abc-devel(riscv-64) = 1.01-9.hg20160905.fc28

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-9.hg20160905.fc28

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: <<< 101 through 150 of 307 >>>
/usr/include/abc/opt/cut/cutInt.h	7.23 KB
/usr/include/abc/base/exor/exor.h	7.15 KB
/usr/include/abc/bdd/epd/epd.h	7.15 KB
/usr/include/abc/bool/bdc/bdcInt.h	7.02 KB
/usr/include/abc/opt/rwt/rwt.h	6.98 KB
/usr/include/abc/bdd/mtr/mtr.h	6.98 KB
/usr/include/abc/misc/tim/timInt.h	6.62 KB
/usr/include/abc/sat/bsat/satStore.h	6.50 KB
/usr/include/abc/opt/res/resInt.h	6.47 KB
/usr/include/abc/proof/ssc/sscInt.h	6.46 KB
/usr/include/abc/bdd/dsd/dsd.h	6.30 KB
/usr/include/abc/map/mio/mioInt.h	6.00 KB
/usr/include/abc/opt/nwk/nwkMerge.h	5.97 KB
/usr/include/abc/proof/int2/int2Int.h	5.97 KB
/usr/include/abc/opt/cut/cutList.h	5.93 KB
/usr/include/abc/proof/abs/absRef.h	5.86 KB
/usr/include/abc/opt/fret/fretime.h	5.76 KB
/usr/include/abc/opt/fsim/fsimInt.h	5.75 KB
/usr/include/abc/opt/dau/dau.h	5.74 KB
/usr/include/abc/opt/nwk/ntlnwk.h	5.72 KB
/usr/include/abc/proof/int/intInt.h	5.68 KB
/usr/include/abc/sat/bsat/satVec.h	5.52 KB
/usr/include/abc/opt/cgt/cgtInt.h	5.25 KB
/usr/include/abc/sat/lsat/solver.h	5.23 KB
/usr/include/abc/opt/dar/dar.h	5.18 KB
/usr/include/abc/opt/sfm/sfm.h	5.02 KB
/usr/include/abc/sat/bsat/satTruth.h	5.00 KB
/usr/include/abc/map/cov/cov.h	4.84 KB
/usr/include/abc/phys/place/place_qpsolver.h	4.73 KB
/usr/include/abc/base/ver/ver.h	4.66 KB
/usr/include/abc/opt/ret/retInt.h	4.34 KB
/usr/include/abc/proof/pdr/pdr.h	4.25 KB
/usr/include/abc/bool/bdc/bdc.h	4.24 KB
/usr/include/abc/misc/espresso/sparse.h	4.23 KB
/usr/include/abc/misc/st/stmm.h	4.20 KB
/usr/include/abc/misc/util/utilCex.h	4.02 KB
/usr/include/abc/bool/lucky/luckyInt.h	3.95 KB
/usr/include/abc/opt/fxu/fxu.h	3.94 KB
/usr/include/abc/bdd/mtr/mtrInt.h	3.94 KB
/usr/include/abc/phys/place/place_base.h	3.93 KB
/usr/include/abc/misc/espresso/main.h	3.92 KB
/usr/include/abc/opt/fsim/fsim.h	3.79 KB
/usr/include/abc/bdd/llb/llb.h	3.79 KB
/usr/include/abc/bdd/dsd/dsdInt.h	3.75 KB
/usr/include/abc/base/cmd/cmdInt.h	3.71 KB
/usr/include/abc/misc/nm/nm.h	3.65 KB
/usr/include/abc/proof/dch/dch.h	3.64 KB
/usr/include/abc/bdd/bbr/bbr.h	3.60 KB
/usr/include/abc/proof/int/int.h	3.57 KB
/usr/include/abc/sat/bsat/satMem.h	3.54 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm