abc-devel-1.01-9.hg20160905.fc25.i686.rpm


Advertisement

Description

abc-devel - Headers and libraries for developing with ABC

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name abc-devel
Package version 1.01
Package release 9.hg20160905.fc25
Package architecture i686
Package type rpm
Installed size 2.35 MB
Download size 365.94 KB
Official Mirror dl.fedoraproject.org
Headers and libraries for developing applications that use ABC.

Alternatives

Package Version Architecture Repository
abc-devel-1.01-9.hg20160905.fc25.i686.rpm 1.01 i686 Fedora
abc-devel-1.01-9.hg20160905.fc25.x86_64.rpm 1.01 x86_64 Fedora
abc-devel - - -

Requires

Name Value
abc-libs(x86-32) = 1.01-9.hg20160905.fc25
libabc.so.0 -

Provides

Name Value
abc-devel = 1.01-9.hg20160905.fc25
abc-devel(x86-32) = 1.01-9.hg20160905.fc25

Download

Type URL
Binary Package abc-devel-1.01-9.hg20160905.fc25.i686.rpm
Source Package abc-1.01-9.hg20160905.fc25.src.rpm

Install Howto

Install the abc-devel rpm package:

# dnf install abc-devel

Files

Path
/usr/include/abc/generic.h
/usr/include/abc/aig/
/usr/include/abc/aig/aig/aig.h
/usr/include/abc/aig/gia/gia.h
/usr/include/abc/aig/gia/giaAig.h
/usr/include/abc/aig/hop/cudd2.h
/usr/include/abc/aig/hop/hop.h
/usr/include/abc/aig/ioa/ioa.h
/usr/include/abc/aig/ivy/attr.h
/usr/include/abc/aig/ivy/ivy.h
/usr/include/abc/aig/miniaig/abcapis.h
/usr/include/abc/aig/miniaig/miniaig.h
/usr/include/abc/aig/saig/saig.h
/usr/include/abc/base/
/usr/include/abc/base/abc/abc.h
/usr/include/abc/base/abc/abcInt.h
/usr/include/abc/base/bac/bac.h
/usr/include/abc/base/bac/bacPrs.h
/usr/include/abc/base/cba/cba.h
/usr/include/abc/base/cba/cbaPrs.h
/usr/include/abc/base/cmd/cmd.h
/usr/include/abc/base/cmd/cmdInt.h
/usr/include/abc/base/exor/exor.h
/usr/include/abc/base/io/ioAbc.h
/usr/include/abc/base/io/ioInt.h
/usr/include/abc/base/main/main.h
/usr/include/abc/base/main/mainInt.h
/usr/include/abc/base/pla/pla.h
/usr/include/abc/base/ver/ver.h
/usr/include/abc/base/wlc/wlc.h
/usr/include/abc/bdd/
/usr/include/abc/bdd/bbr/bbr.h
/usr/include/abc/bdd/cas/cas.h
/usr/include/abc/bdd/cudd/cudd.h
/usr/include/abc/bdd/cudd/cuddInt.h
/usr/include/abc/bdd/dsd/dsd.h
/usr/include/abc/bdd/dsd/dsdInt.h
/usr/include/abc/bdd/epd/epd.h
/usr/include/abc/bdd/extrab/extraBdd.h
/usr/include/abc/bdd/llb/llb.h
/usr/include/abc/bdd/llb/llbInt.h
/usr/include/abc/bdd/mtr/mtr.h
/usr/include/abc/bdd/mtr/mtrInt.h
/usr/include/abc/bdd/reo/reo.h
/usr/include/abc/bool/
/usr/include/abc/bool/bdc/bdc.h
/usr/include/abc/bool/bdc/bdcInt.h
/usr/include/abc/bool/dec/dec.h
/usr/include/abc/bool/deco/deco.h
/usr/include/abc/bool/kit/cloud.h
/usr/include/abc/bool/kit/kit.h
/usr/include/abc/bool/lucky/lucky.h
/usr/include/abc/bool/lucky/luckyInt.h
/usr/include/abc/bool/rpo/literal.h
/usr/include/abc/bool/rpo/rpo.h
/usr/include/abc/bool/rsb/rsb.h
/usr/include/abc/bool/rsb/rsbInt.h
/usr/include/abc/map/
/usr/include/abc/map/amap/amap.h
/usr/include/abc/map/amap/amapInt.h
/usr/include/abc/map/cov/cov.h
/usr/include/abc/map/cov/covInt.h
/usr/include/abc/map/fpga/fpga.h
/usr/include/abc/map/fpga/fpgaInt.h
/usr/include/abc/map/if/if.h
/usr/include/abc/map/if/ifCount.h
/usr/include/abc/map/mapper/mapper.h
/usr/include/abc/map/mapper/mapperInt.h
/usr/include/abc/map/mio/exp.h
/usr/include/abc/map/mio/mio.h
/usr/include/abc/map/mio/mioInt.h
/usr/include/abc/map/mpm/mpm.h
/usr/include/abc/map/mpm/mpmInt.h
/usr/include/abc/map/mpm/mpmMig.h
/usr/include/abc/map/scl/scl.h
/usr/include/abc/map/scl/sclCon.h
/usr/include/abc/map/scl/sclLib.h
/usr/include/abc/map/scl/sclSize.h
/usr/include/abc/map/scl/sclTime.h
/usr/include/abc/map/super/super.h
/usr/include/abc/map/super/superInt.h
/usr/include/abc/misc/
/usr/include/abc/misc/avl/avl.h
/usr/include/abc/misc/bar/bar.h
/usr/include/abc/misc/bbl/bblif.h
/usr/include/abc/misc/espresso/espresso.h
/usr/include/abc/misc/espresso/main.h
/usr/include/abc/misc/espresso/mincov.h
/usr/include/abc/misc/espresso/mincov_int.h
/usr/include/abc/misc/espresso/sparse.h
/usr/include/abc/misc/espresso/sparse_int.h
/usr/include/abc/misc/espresso/util_old.h
/usr/include/abc/misc/extra/extra.h
/usr/include/abc/misc/hash/hash.h
/usr/include/abc/misc/hash/hashFlt.h
/usr/include/abc/misc/hash/hashGen.h
/usr/include/abc/misc/hash/hashInt.h
/usr/include/abc/misc/hash/hashPtr.h
/usr/include/abc/misc/mem/mem.h
/usr/include/abc/misc/mem/mem2.h
/usr/include/abc/misc/mvc/mvc.h
/usr/include/abc/misc/nm/nm.h
/usr/include/abc/misc/nm/nmInt.h
/usr/include/abc/misc/parse/parse.h
/usr/include/abc/misc/parse/parseInt.h
/usr/include/abc/misc/st/st.h
/usr/include/abc/misc/st/stmm.h
/usr/include/abc/misc/tim/tim.h
/usr/include/abc/misc/tim/timInt.h
/usr/include/abc/misc/util/abc_global.h
/usr/include/abc/misc/util/abc_namespaces.h
/usr/include/abc/misc/util/utilCex.h
/usr/include/abc/misc/util/utilMem.h
/usr/include/abc/misc/util/utilNam.h
/usr/include/abc/misc/util/utilSignal.h
/usr/include/abc/misc/util/utilTruth.h
/usr/include/abc/misc/util/util_hack.h
/usr/include/abc/misc/vec/vec.h
/usr/include/abc/misc/vec/vecAtt.h
/usr/include/abc/misc/vec/vecBit.h
/usr/include/abc/misc/vec/vecFlt.h
/usr/include/abc/misc/vec/vecHash.h
/usr/include/abc/misc/vec/vecHsh.h
/usr/include/abc/misc/vec/vecInt.h
/usr/include/abc/misc/vec/vecMem.h
/usr/include/abc/misc/vec/vecPtr.h
/usr/include/abc/misc/vec/vecQue.h
/usr/include/abc/misc/vec/vecSet.h
/usr/include/abc/misc/vec/vecStr.h
/usr/include/abc/misc/vec/vecVec.h
/usr/include/abc/misc/vec/vecWec.h
/usr/include/abc/misc/vec/vecWrd.h
/usr/include/abc/opt/
/usr/include/abc/opt/cgt/cgt.h
/usr/include/abc/opt/cgt/cgtInt.h
/usr/include/abc/opt/csw/csw.h
/usr/include/abc/opt/csw/cswInt.h
/usr/include/abc/opt/cut/cut.h
/usr/include/abc/opt/cut/cutInt.h
/usr/include/abc/opt/cut/cutList.h
/usr/include/abc/opt/dar/dar.h
/usr/include/abc/opt/dar/darInt.h
/usr/include/abc/opt/dau/dau.h
/usr/include/abc/opt/dau/dauInt.h
/usr/include/abc/opt/fret/fretime.h
/usr/include/abc/opt/fsim/fsim.h
/usr/include/abc/opt/fsim/fsimInt.h
/usr/include/abc/opt/fxch/Fxch.h
/usr/include/abc/opt/fxu/fxu.h
/usr/include/abc/opt/fxu/fxuInt.h
/usr/include/abc/opt/lpk/lpk.h
/usr/include/abc/opt/lpk/lpkInt.h
/usr/include/abc/opt/mfs/mfs.h
/usr/include/abc/opt/mfs/mfsInt.h
/usr/include/abc/opt/nwk/ntlnwk.h
/usr/include/abc/opt/nwk/nwk.h
/usr/include/abc/opt/nwk/nwkMerge.h
/usr/include/abc/opt/res/res.h
/usr/include/abc/opt/res/resInt.h
/usr/include/abc/opt/ret/retInt.h
/usr/include/abc/opt/rwr/rwr.h
/usr/include/abc/opt/rwt/rwt.h
/usr/include/abc/opt/sfm/sfm.h
/usr/include/abc/opt/sfm/sfmInt.h
/usr/include/abc/opt/sim/sim.h
/usr/include/abc/phys/
/usr/include/abc/phys/place/libhmetis.h
/usr/include/abc/phys/place/place_base.h
/usr/include/abc/phys/place/place_gordian.h
/usr/include/abc/phys/place/place_qpsolver.h
/usr/include/abc/proof/
/usr/include/abc/proof/abs/abs.h
/usr/include/abc/proof/abs/absRef.h
/usr/include/abc/proof/abs/absRefJ.h
/usr/include/abc/proof/acec/acec.h
/usr/include/abc/proof/acec/acecInt.h
/usr/include/abc/proof/cec/cec.h
/usr/include/abc/proof/cec/cecInt.h
/usr/include/abc/proof/dch/dch.h
/usr/include/abc/proof/dch/dchInt.h
/usr/include/abc/proof/fra/fra.h
/usr/include/abc/proof/fraig/fraig.h
/usr/include/abc/proof/fraig/fraigInt.h
/usr/include/abc/proof/int/int.h
/usr/include/abc/proof/int/intInt.h
/usr/include/abc/proof/int2/int2.h
/usr/include/abc/proof/int2/int2Int.h
/usr/include/abc/proof/pdr/pdr.h
/usr/include/abc/proof/pdr/pdrInt.h
/usr/include/abc/proof/ssc/ssc.h
/usr/include/abc/proof/ssc/sscInt.h
/usr/include/abc/proof/ssw/ssw.h
/usr/include/abc/proof/ssw/sswInt.h
/usr/include/abc/sat/
/usr/include/abc/sat/bmc/bmc.h
/usr/include/abc/sat/bsat/satClause.h
/usr/include/abc/sat/bsat/satMem.h
/usr/include/abc/sat/bsat/satProof2.h
/usr/include/abc/sat/bsat/satSolver.h
/usr/include/abc/sat/bsat/satSolver2.h
/usr/include/abc/sat/bsat/satStore.h
/usr/include/abc/sat/bsat/satTruth.h
/usr/include/abc/sat/bsat/satVec.h
/usr/include/abc/sat/cnf/cnf.h
/usr/include/abc/sat/csat/csat_apis.h
/usr/include/abc/sat/lsat/solver.h
/usr/include/abc/sat/msat/msat.h
/usr/include/abc/sat/msat/msatInt.h
/usr/include/abc/sat/proof/pr.h
/usr/include/abc/sat/psat/m114p.h
/usr/include/abc/sat/psat/m114p_types.h
/usr/lib/libabc.so

Changelog

See abc-1.01-9.hg20160905.fc25.i686.rpm changelog.

See Also

Package Description
abc-libs-1.01-9.hg20160905.fc25.i686.rpm Library for sequential synthesis and verification
abcde-2.7.2-1.fc25.noarch.rpm A Better CD Encoder
abcm2ps-7.8.14-2.fc24.i686.rpm A program to typeset ABC tunes into Postscript
abduco-0.6-1.fc25.i686.rpm Session management in a clean and simple way
abe-1.1-28.fc25.i686.rpm Scrolling, platform-jumping, ancient pyramid exploring game
abgraph-1.1-11.fc24.noarch.rpm ABGraph is a simple tool to benchmark webservers
abi-compliance-checker-1.99.25-1.fc25.noarch.rpm An ABI Compliance Checker
abi-dumper-0.99.19-1.fc25.noarch.rpm Tool to dump ABI of an ELF object containing DWARF debug info
abi-tracker-1.9-1.fc25.noarch.rpm Tool to visualize ABI changes timeline of a C/C++ library
abiword-3.0.1-12.fc25.i686.rpm Word processing program
abook-0.6.1-2.fc24.i686.rpm Text-based addressbook program for mutt
abootimg-0.6-12.20110830gitff8e759.fc24.i686.rpm Tool for manipulating Android boot images
abrt-2.9.0-1.fc25.i686.rpm Automatic bug detection and reporting tool
abrt-addon-ccpp-2.9.0-1.fc25.i686.rpm abrt's C/C++ addon
abrt-addon-coredump-helper-2.9.0-1.fc25.i686.rpm abrt's /proc/sys/kernel/core_pattern helper
Advertisement
Advertisement