Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

abc-devel-1.01-9.hg20160905.el7 RPM for x86_64

From EPEL 7 for x86_64 / Packages / a

Name: abc-devel Distribution: Fedora Project
Version: 1.01 Vendor: Fedora Project
Release: 9.hg20160905.el7 Build date: Wed Sep 21 04:40:37 2016
Group: Unspecified Build host: buildvm-24.phx2.fedoraproject.org
Size: 2469193 Source RPM: abc-1.01-9.hg20160905.el7.src.rpm
Packager: Fedora Project
Url: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
Summary: Headers and libraries for developing with ABC
Headers and libraries for developing applications that use ABC.

Provides

Requires

License

MIT

Changelog

* Sat Sep 10 2016 Eric Smith <brouhaha@fedoraproject.org> - 1.01-9.hg20160905
  - Update to latest mercurial snapshot
* Fri Feb 05 2016 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
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-7.hg20150306
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.01-6.hg20150306
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 1.01-5.hg20150306
  - Rebuilt for GCC 5 C++11 ABI change
* Sat Mar 07 2015 Jerry James <loganjerry@gmail.com> - 1.01-4.hg20150306
  - Update to latest mercurial snapshot
* Thu Jan 01 2015 Jerry James <loganjerry@gmail.com> - 1.01-3.hg20150101
  - Update to latest mercurial snapshot
  - Fix installation of header files
* Wed Dec 03 2014 Jerry James <loganjerry@gmail.com> - 1.01-2.hg20141130
  - Drop unnecessary jquery Provides
  - Fix file permissions
* Mon Dec 01 2014 Jerry James <loganjerry@gmail.com> - 1.01-1.hg20141130
  - Initial RPM

Files

/usr/include/abc
/usr/include/abc/aig
/usr/include/abc/aig/aig
/usr/include/abc/aig/aig/aig.h
/usr/include/abc/aig/gia
/usr/include/abc/aig/gia/gia.h
/usr/include/abc/aig/gia/giaAig.h
/usr/include/abc/aig/hop
/usr/include/abc/aig/hop/cudd2.h
/usr/include/abc/aig/hop/hop.h
/usr/include/abc/aig/ioa
/usr/include/abc/aig/ioa/ioa.h
/usr/include/abc/aig/ivy
/usr/include/abc/aig/ivy/attr.h
/usr/include/abc/aig/ivy/ivy.h
/usr/include/abc/aig/miniaig
/usr/include/abc/aig/miniaig/abcapis.h
/usr/include/abc/aig/miniaig/miniaig.h
/usr/include/abc/aig/saig
/usr/include/abc/aig/saig/saig.h
/usr/include/abc/base
/usr/include/abc/base/abc
/usr/include/abc/base/abc/abc.h
/usr/include/abc/base/abc/abcInt.h
/usr/include/abc/base/bac
/usr/include/abc/base/bac/bac.h
/usr/include/abc/base/bac/bacPrs.h
/usr/include/abc/base/cba
/usr/include/abc/base/cba/cba.h
/usr/include/abc/base/cba/cbaPrs.h
/usr/include/abc/base/cmd
/usr/include/abc/base/cmd/cmd.h
/usr/include/abc/base/cmd/cmdInt.h
/usr/include/abc/base/exor
/usr/include/abc/base/exor/exor.h
/usr/include/abc/base/io
/usr/include/abc/base/io/ioAbc.h
/usr/include/abc/base/io/ioInt.h
/usr/include/abc/base/main
/usr/include/abc/base/main/main.h
/usr/include/abc/base/main/mainInt.h
/usr/include/abc/base/pla
/usr/include/abc/base/pla/pla.h
/usr/include/abc/base/ver
/usr/include/abc/base/ver/ver.h
/usr/include/abc/base/wlc
/usr/include/abc/base/wlc/wlc.h
/usr/include/abc/bdd
/usr/include/abc/bdd/bbr
/usr/include/abc/bdd/bbr/bbr.h
/usr/include/abc/bdd/cas
/usr/include/abc/bdd/cas/cas.h
/usr/include/abc/bdd/cudd
/usr/include/abc/bdd/cudd/cudd.h
/usr/include/abc/bdd/cudd/cuddInt.h
/usr/include/abc/bdd/dsd
/usr/include/abc/bdd/dsd/dsd.h
/usr/include/abc/bdd/dsd/dsdInt.h
/usr/include/abc/bdd/epd
/usr/include/abc/bdd/epd/epd.h
/usr/include/abc/bdd/extrab
/usr/include/abc/bdd/extrab/extraBdd.h
/usr/include/abc/bdd/llb
/usr/include/abc/bdd/llb/llb.h
/usr/include/abc/bdd/llb/llbInt.h
/usr/include/abc/bdd/mtr
/usr/include/abc/bdd/mtr/mtr.h
/usr/include/abc/bdd/mtr/mtrInt.h
/usr/include/abc/bdd/reo
/usr/include/abc/bdd/reo/reo.h
/usr/include/abc/bool
/usr/include/abc/bool/bdc
/usr/include/abc/bool/bdc/bdc.h
/usr/include/abc/bool/bdc/bdcInt.h
/usr/include/abc/bool/dec
/usr/include/abc/bool/dec/dec.h
/usr/include/abc/bool/deco
/usr/include/abc/bool/deco/deco.h
/usr/include/abc/bool/kit
/usr/include/abc/bool/kit/cloud.h
/usr/include/abc/bool/kit/kit.h
/usr/include/abc/bool/lucky
/usr/include/abc/bool/lucky/lucky.h
/usr/include/abc/bool/lucky/luckyInt.h
/usr/include/abc/bool/rpo
/usr/include/abc/bool/rpo/literal.h
/usr/include/abc/bool/rpo/rpo.h
/usr/include/abc/bool/rsb
/usr/include/abc/bool/rsb/rsb.h
/usr/include/abc/bool/rsb/rsbInt.h
/usr/include/abc/generic.h
/usr/include/abc/map
/usr/include/abc/map/amap
/usr/include/abc/map/amap/amap.h
/usr/include/abc/map/amap/amapInt.h
/usr/include/abc/map/cov
/usr/include/abc/map/cov/cov.h
/usr/include/abc/map/cov/covInt.h
/usr/include/abc/map/fpga
/usr/include/abc/map/fpga/fpga.h
/usr/include/abc/map/fpga/fpgaInt.h
/usr/include/abc/map/if
/usr/include/abc/map/if/if.h
/usr/include/abc/map/if/ifCount.h
/usr/include/abc/map/mapper
/usr/include/abc/map/mapper/mapper.h
/usr/include/abc/map/mapper/mapperInt.h
/usr/include/abc/map/mio
/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
/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
/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
/usr/include/abc/map/super/super.h
/usr/include/abc/map/super/superInt.h
/usr/include/abc/misc
/usr/include/abc/misc/avl
/usr/include/abc/misc/avl/avl.h
/usr/include/abc/misc/bar
/usr/include/abc/misc/bar/bar.h
/usr/include/abc/misc/bbl
/usr/include/abc/misc/bbl/bblif.h
/usr/include/abc/misc/espresso
/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
/usr/include/abc/misc/extra/extra.h
/usr/include/abc/misc/hash
/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
/usr/include/abc/misc/mem/mem.h
/usr/include/abc/misc/mem/mem2.h
/usr/include/abc/misc/mvc
/usr/include/abc/misc/mvc/mvc.h
/usr/include/abc/misc/nm
/usr/include/abc/misc/nm/nm.h
/usr/include/abc/misc/nm/nmInt.h
/usr/include/abc/misc/parse
/usr/include/abc/misc/parse/parse.h
/usr/include/abc/misc/parse/parseInt.h
/usr/include/abc/misc/st
/usr/include/abc/misc/st/st.h
/usr/include/abc/misc/st/stmm.h
/usr/include/abc/misc/tim
/usr/include/abc/misc/tim/tim.h
/usr/include/abc/misc/tim/timInt.h
/usr/include/abc/misc/util
/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
/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
/usr/include/abc/opt/cgt/cgt.h
/usr/include/abc/opt/cgt/cgtInt.h
/usr/include/abc/opt/csw
/usr/include/abc/opt/csw/csw.h
/usr/include/abc/opt/csw/cswInt.h
/usr/include/abc/opt/cut
/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
/usr/include/abc/opt/dar/dar.h
/usr/include/abc/opt/dar/darInt.h
/usr/include/abc/opt/dau
/usr/include/abc/opt/dau/dau.h
/usr/include/abc/opt/dau/dauInt.h
/usr/include/abc/opt/fret
/usr/include/abc/opt/fret/fretime.h
/usr/include/abc/opt/fsim
/usr/include/abc/opt/fsim/fsim.h
/usr/include/abc/opt/fsim/fsimInt.h
/usr/include/abc/opt/fxch
/usr/include/abc/opt/fxch/Fxch.h
/usr/include/abc/opt/fxu
/usr/include/abc/opt/fxu/fxu.h
/usr/include/abc/opt/fxu/fxuInt.h
/usr/include/abc/opt/lpk
/usr/include/abc/opt/lpk/lpk.h
/usr/include/abc/opt/lpk/lpkInt.h
/usr/include/abc/opt/mfs
/usr/include/abc/opt/mfs/mfs.h
/usr/include/abc/opt/mfs/mfsInt.h
/usr/include/abc/opt/nwk
/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
/usr/include/abc/opt/res/res.h
/usr/include/abc/opt/res/resInt.h
/usr/include/abc/opt/ret
/usr/include/abc/opt/ret/retInt.h
/usr/include/abc/opt/rwr
/usr/include/abc/opt/rwr/rwr.h
/usr/include/abc/opt/rwt
/usr/include/abc/opt/rwt/rwt.h
/usr/include/abc/opt/sfm
/usr/include/abc/opt/sfm/sfm.h
/usr/include/abc/opt/sfm/sfmInt.h
/usr/include/abc/opt/sim
/usr/include/abc/opt/sim/sim.h
/usr/include/abc/phys
/usr/include/abc/phys/place
/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
/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
/usr/include/abc/proof/acec/acec.h
/usr/include/abc/proof/acec/acecInt.h
/usr/include/abc/proof/cec
/usr/include/abc/proof/cec/cec.h
/usr/include/abc/proof/cec/cecInt.h
/usr/include/abc/proof/dch
/usr/include/abc/proof/dch/dch.h
/usr/include/abc/proof/dch/dchInt.h
/usr/include/abc/proof/fra
/usr/include/abc/proof/fra/fra.h
/usr/include/abc/proof/fraig
/usr/include/abc/proof/fraig/fraig.h
/usr/include/abc/proof/fraig/fraigInt.h
/usr/include/abc/proof/int
/usr/include/abc/proof/int/int.h
/usr/include/abc/proof/int/intInt.h
/usr/include/abc/proof/int2
/usr/include/abc/proof/int2/int2.h
/usr/include/abc/proof/int2/int2Int.h
/usr/include/abc/proof/pdr
/usr/include/abc/proof/pdr/pdr.h
/usr/include/abc/proof/pdr/pdrInt.h
/usr/include/abc/proof/ssc
/usr/include/abc/proof/ssc/ssc.h
/usr/include/abc/proof/ssc/sscInt.h
/usr/include/abc/proof/ssw
/usr/include/abc/proof/ssw/ssw.h
/usr/include/abc/proof/ssw/sswInt.h
/usr/include/abc/sat
/usr/include/abc/sat/bmc
/usr/include/abc/sat/bmc/bmc.h
/usr/include/abc/sat/bsat
/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
/usr/include/abc/sat/cnf/cnf.h
/usr/include/abc/sat/csat
/usr/include/abc/sat/csat/csat_apis.h
/usr/include/abc/sat/lsat
/usr/include/abc/sat/lsat/solver.h
/usr/include/abc/sat/msat
/usr/include/abc/sat/msat/msat.h
/usr/include/abc/sat/msat/msatInt.h
/usr/include/abc/sat/proof
/usr/include/abc/sat/proof/pr.h
/usr/include/abc/sat/psat
/usr/include/abc/sat/psat/m114p.h
/usr/include/abc/sat/psat/m114p_types.h
/usr/lib64/libabc.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 28 03:40:42 2024