abc-devel-1.01-11.hg20160905.fc26.i686.rpm


Advertisement

Description

abc-devel - Headers and libraries for developing with ABC

Property Value
Distribution Fedora 26
Repository Fedora x86_64
Package name abc-devel
Package version 1.01
Package release 11.hg20160905.fc26
Package architecture i686
Package type rpm
Installed size 2.35 MB
Download size 365.11 KB
Official Mirror archives.fedoraproject.org
Headers and libraries for developing applications that use ABC.

Alternatives

Package Version Architecture Repository
abc-devel-1.01-11.hg20160905.fc26.x86_64.rpm 1.01 x86_64 Fedora
abc-devel-1.01-11.hg20160905.fc26.i686.rpm 1.01 i686 Fedora
abc-devel - - -

Requires

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

Provides

Name Value
abc-devel = 1.01-11.hg20160905.fc26
abc-devel(x86-32) = 1.01-11.hg20160905.fc26

Download

Type URL
Binary Package abc-devel-1.01-11.hg20160905.fc26.i686.rpm
Source Package abc-1.01-11.hg20160905.fc26.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

2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-11.hg20160905
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-01-12 - Igor Gnatenko <ignatenko@redhat.com> - 1.01-10.hg20160905
- Rebuild for readline 7.x
2016-09-10 - Eric Smith <brouhaha@fedoraproject.org> - 1.01-9.hg20160905
- Update to latest mercurial snapshot
2016-02-05 - Jerry James <loganjerry@gmail.com> - 1.01-8.hg20160203
- Update to latest mercurial snapshot
- Drop the python2 subpackage; upstream moved support to a separate project
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-7.hg20150306
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.01-6.hg20150306
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 1.01-5.hg20150306
- Rebuilt for GCC 5 C++11 ABI change
2015-03-07 - Jerry James <loganjerry@gmail.com> - 1.01-4.hg20150306
- Update to latest mercurial snapshot
2015-01-01 - Jerry James <loganjerry@gmail.com> - 1.01-3.hg20150101
- Update to latest mercurial snapshot
- Fix installation of header files
2014-12-03 - Jerry James <loganjerry@gmail.com> - 1.01-2.hg20141130
- Drop unnecessary jquery Provides
- Fix file permissions

See Also

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