abc-devel-1.01-18.git20180708.fc29.i686.rpm


Advertisement

Description

abc-devel - Headers and libraries for developing with ABC

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename abc-devel-1.01-18.git20180708.fc29.i686.rpm
Package name abc-devel
Package version 1.01
Package release 18.git20180708.fc29
Package architecture i686
Package type rpm
Homepage http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
License MIT
Maintainer -
Download size 460.53 KB
Installed size 3.06 MB
Headers and libraries for developing applications that use ABC.

Alternatives

Package Version Architecture Repository
abc-devel-1.01-18.git20180708.fc29.x86_64.rpm 1.01 x86_64 Fedora
abc-devel-1.01-18.git20180708.fc29.i686.rpm 1.01 i686 Fedora
abc-devel - - -

Requires

Name Value
abc-libs(x86-32) = 1.01-18.git20180708.fc29
libabc.so.0 -

Provides

Name Value
abc-devel = 1.01-18.git20180708.fc29
abc-devel(x86-32) = 1.01-18.git20180708.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package abc-devel-1.01-18.git20180708.fc29.i686.rpm
Source Package abc-1.01-18.git20180708.fc29.src.rpm

Install Howto

Install 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/gia/giaIiff.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/abcOper.h
/usr/include/abc/aig/miniaig/miniaig.h
/usr/include/abc/aig/miniaig/minilut.h
/usr/include/abc/aig/miniaig/ndr.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/acb/acb.h
/usr/include/abc/base/acb/acbPar.h
/usr/include/abc/base/acb/acbSets.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/cba/cbaTypes.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/abcapis.h
/usr/include/abc/base/main/abcapis_old.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/utilDouble.h
/usr/include/abc/misc/util/utilFloat.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/dsc/dsc.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/sbd/sbd.h
/usr/include/abc/opt/sbd/sbdInt.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/satSolver3.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/bsat2/Alg.h
/usr/include/abc/sat/bsat2/Alloc.h
/usr/include/abc/sat/bsat2/Dimacs.h
/usr/include/abc/sat/bsat2/Heap.h
/usr/include/abc/sat/bsat2/IntTypes.h
/usr/include/abc/sat/bsat2/Map.h
/usr/include/abc/sat/bsat2/Options.h
/usr/include/abc/sat/bsat2/ParseUtils.h
/usr/include/abc/sat/bsat2/Queue.h
/usr/include/abc/sat/bsat2/SimpSolver.h
/usr/include/abc/sat/bsat2/Solver.h
/usr/include/abc/sat/bsat2/SolverTypes.h
/usr/include/abc/sat/bsat2/Sort.h
/usr/include/abc/sat/bsat2/System.h
/usr/include/abc/sat/bsat2/Vec.h
/usr/include/abc/sat/bsat2/XAlloc.h
/usr/include/abc/sat/bsat2/pstdint.h
/usr/include/abc/sat/cnf/cnf.h
/usr/include/abc/sat/csat/csat_apis.h
/usr/include/abc/sat/glucose/AbcGlucose.h
/usr/include/abc/sat/glucose/Alg.h
/usr/include/abc/sat/glucose/Alloc.h
/usr/include/abc/sat/glucose/BoundedQueue.h
/usr/include/abc/sat/glucose/Constants.h
/usr/include/abc/sat/glucose/Dimacs.h
/usr/include/abc/sat/glucose/Heap.h
/usr/include/abc/sat/glucose/IntTypes.h
/usr/include/abc/sat/glucose/Map.h
/usr/include/abc/sat/glucose/Options.h
/usr/include/abc/sat/glucose/ParseUtils.h
/usr/include/abc/sat/glucose/Queue.h
/usr/include/abc/sat/glucose/SimpSolver.h
/usr/include/abc/sat/glucose/Solver.h
/usr/include/abc/sat/glucose/SolverTypes.h
/usr/include/abc/sat/glucose/Sort.h
/usr/include/abc/sat/glucose/System.h
/usr/include/abc/sat/glucose/Vec.h
/usr/include/abc/sat/glucose/XAlloc.h
/usr/include/abc/sat/glucose/pstdint.h
/usr/include/abc/sat/glucose/stdint.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/include/abc/sat/satoko/act_clause.h
/usr/include/abc/sat/satoko/act_var.h
/usr/include/abc/sat/satoko/cdb.h
/usr/include/abc/sat/satoko/clause.h
/usr/include/abc/sat/satoko/satoko.h
/usr/include/abc/sat/satoko/solver.h
/usr/include/abc/sat/satoko/types.h
/usr/include/abc/sat/satoko/watch_list.h
/usr/include/abc/sat/satoko/utils/b_queue.h
/usr/include/abc/sat/satoko/utils/heap.h
/usr/include/abc/sat/satoko/utils/mem.h
/usr/include/abc/sat/satoko/utils/misc.h
/usr/include/abc/sat/satoko/utils/sdbl.h
/usr/include/abc/sat/satoko/utils/sort.h
/usr/include/abc/sat/satoko/utils/vec/vec_char.h
/usr/include/abc/sat/satoko/utils/vec/vec_flt.h
/usr/include/abc/sat/satoko/utils/vec/vec_int.h
/usr/include/abc/sat/satoko/utils/vec/vec_sdbl.h
/usr/include/abc/sat/satoko/utils/vec/vec_uint.h
/usr/include/abc/sat/xsat/xsat.h
/usr/include/abc/sat/xsat/xsatBQueue.h
/usr/include/abc/sat/xsat/xsatClause.h
/usr/include/abc/sat/xsat/xsatHeap.h
/usr/include/abc/sat/xsat/xsatMemory.h
/usr/include/abc/sat/xsat/xsatSolver.h
/usr/include/abc/sat/xsat/xsatUtils.h
/usr/include/abc/sat/xsat/xsatWatchList.h
/usr/lib/libabc.so

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-18.git20180708
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Jerry James <loganjerry@gmail.com> - 1.01-17.git20180708
- Update to latest git snapshot
2018-03-03 - Jerry James <loganjerry@gmail.com> - 1.01-16.hg20180228
- Update to latest mercurial snapshot
- BR gcc-c++ instead of gcc
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-15.hg20180129
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-02-02 - Jerry James <loganjerry@gmail.com> - 1.01-14.hg20180129
- Update to latest mercurial snapshot
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-13.hg20160905
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-12.hg20160905
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
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

See Also

Package Description
abc-libs-1.01-18.git20180708.fc29.i686.rpm Library for sequential synthesis and verification
abcde-2.9.2-1.fc29.noarch.rpm A Better CD Encoder
abcm2ps-7.8.14-7.fc29.i686.rpm A program to typeset ABC tunes into Postscript
abduco-0.6-6.fc29.i686.rpm Session management in a clean and simple way
abe-1.1-34.fc29.i686.rpm Scrolling, platform-jumping, ancient pyramid exploring game
abgraph-1.1-15.fc29.noarch.rpm ABGraph is a simple tool to benchmark webservers
abi-compliance-checker-2.3-2.fc29.noarch.rpm An ABI Compliance Checker
abi-dumper-1.1-5.fc29.noarch.rpm Tool to dump ABI of an ELF object containing DWARF debug info
abi-tracker-1.11-4.fc29.noarch.rpm Tool to visualize ABI changes timeline of a C/C++ library
abiword-3.0.2-13.fc29.i686.rpm Word processing program
abook-0.6.1-10.fc29.i686.rpm Text-based addressbook program for mutt
abootimg-0.6-17.20110830gitff8e759.fc29.i686.rpm Tool for manipulating Android boot images
abrt-2.11.0-1.fc29.i686.rpm Automatic bug detection and reporting tool
abrt-addon-ccpp-2.11.0-1.fc29.i686.rpm abrt's C/C++ addon
abrt-addon-coredump-helper-2.11.0-1.fc29.i686.rpm abrt's /proc/sys/kernel/core_pattern helper
Advertisement
Advertisement