abc-1.01-3.hg20150101.fc21$>$Eq\1fUZw>9 ? d   P $HL[jq       $=V|   (89:G,H@ITX\Yd\]^b d e f l t u v ,w x y  Cabc1.013.hg20150101.fc21Sequential logic synthesis and formal verificationABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. ABC provides an experimental implementation of these algorithms and a programming environment for building similar applications. Future development will focus on improving the algorithms and making most of the packages stand-alone. This will allow the user to customize ABC for their needs as if it were a toolbox rather than a complete tool.T/3buildvm-10.phx2.fedoraproject.orgAqFedora ProjectFedora ProjectGPLv3+Fedora ProjectUnspecifiedhttp://www.eecs.berkeley.edu/~alanmi/abc/abc.htmlinuxi686  A큤T/T//TDTDT(vaa1842682b72641c59bbe8b0f39f3cb0c57a6f1f3451e3c36cdcb8b1a5419c2ac3abd5cfbaa8c710b5ea1c0472a43205bb5f958f9e6adad1e241e308cf1b835e530ec6175cf7fbeb7b595cbe7a50994429c4e62cae6666fb3a1d5745f3127b19f759982ab580f9a35297853618c94c2dadeca7d651210f37f666749686f8c763rootrootrootrootrootrootrootrootrootrootabc-1.01-3.hg20150101.fc21.src.rpmabcabc(x86-32)@@@@@@    @abc-libs(x86-32)libabc.so.0libc.so.6libc.so.6(GLIBC_2.0)libgcc_s.so.1libm.so.6libstdc++.so.6rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)rtld(GNU_HASH)1.01-3.hg20150101.fc213.0.4-14.6.0-14.0-15.2-14.12.0.1T6T~@T|X@Jerry James - 1.01-3.hg20150101Jerry James - 1.01-2.hg20141130Jerry James - 1.01-1.hg20141130- Update to latest mercurial snapshot - Fix installation of header files- Drop unnecessary jquery Provides - Fix file permissions- Initial RPM1.01-3.hg20150101.fc211.01-3.hg20150101.fc21abcabcreadme.mdreadmeaigabc.1.gz/usr/bin//usr/share/doc//usr/share/doc/abc//usr/share/man/man1/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=f4e2af81a3ab5208ab23765f636bed001d31c36a, strippeddirectoryASCII textASCII text, with very long linestroff or preprocessor input, UTF-8 Unicode text (gzip compressed data, max compression, from Unix)RRRRRRR ?p7zXZ !PH64]"k%wճ|fYcS~G^U4+ U8/?aeWzPLz7 #YZH 0`@k>j>*G<C*Ei~Ҳj߃4 R1~y➢b`_a;fPd0\2*[QXr'VU0wJO"[Zn#̉BPb 8bsuΈ!Jب2Dd~FcwBHW ~3Ϟ;@ͦ~\6Py5>B/<a6۾zJ `5n<;7]ò}!߹Ro!}rH<慒S+t8;5t6+2vRCQk1P\t}'b .ڵ['ipY ruLE_b=ywHVsѳzsժ&TqSJ7]&Á6oL*ˀ(&1-@jׂKHn@4}2%ikZsVF-IkLpi~ @]K)4%i̸E P% YuLfzq^A!<YAm+WZAUf:7 mc)ʜ]JC Q.b`|g }U{z Q(ģf^%?T黛p-^6iȮ#(ʯ u- z Z_` ̟wcC[TSh,9fޜˆ5~hПcQO-UǗF<{r&͚m~nJdE}Ts< ̞8 EyüIK7jߊEo>Jɰ[Yqp$J Z$h3AzLpH!$384ΠS뫚=n~XL#[߮ᖢcX*RA*?5<Ab6)}  $8\`.:ϯ=}OrcGM'r~ ]AD1?cx̾XuHO?6m? <J/zr&J(^;R@s:"(qC$llSO~2w_^+8@z40S*nK8L0BLQUR9Cv䴛n??ZtBC5;0 #Îr*OpyG*@L>6Ddn7>^d\::y"._ek VkA~p,(]{8Z/3EwX2jQk|><}|gnAAm)~YQGUmFDr\L,H'Lj3h һUi99TT\ooH*S;-; Zd"c~JH9yxN_ RxPV=3hH}70$oy8U$ Pz&2DX Lb$i9(|dⲀRh?oEdQh[cs/s11^aCLLT,QG݈ LgeÖ[^{hEq䋏sPfzGPKɜ:@-r@n-"Zpp)GWp>r,uVn1$dXja|_ <XhÃ#-_j>^J2EoYˁMX.Gv09?'Nx:5Mdyhs#I &ӵ*5^ɆLRA_pTӶ[FA*_ dd.'dp'ʡ5a{{x(z<x@LdUySկV:(m23you+Ȑ4";"ђ*RnVO!/k_~|z6=dS%&\].eϵOj #-(UhQiDIBS3M/4U&l%WaBg.K߻NP e(#\ZI~F%7=7ҪW/g)݆3?O1Ü.x3)b52-Me{ 2 IY" Qqipв|*(4N$OpdzqWoa%3!i!MWUU9׸*Q\ i/$ra*+l);u0u",iq@o6C 9 (j*9G("LjاUN4{Vst l o\#1f:p:uIS_~ٝ0}ل)/qLX\kٲM";5eѝӳ V>=p4IE͐R# Aw;r9󼣀O'NyG(!/J䔙f%'D AҀWf?΍/w2:Yf9,QA½ PzH}9!uSt$aS']=CpGsSF^"lQIۊ!j8u!w_zMRAB]86Ⳃ @X{]r)ٯk7>v)\8Pm7~΁1ވ_-qѱ[ÿ _b2K>>we  XN$&d2Oc=N|{'R)\6XPҕxDn~Ȥp*>[af@ۄ 89"!IW@M..rhh^( ,)N^vLѬ1!9߾;x ze'n%_ yI)T*q4aӛڈ]{XFe_83/J/Ŋ8T*pE[ c+_QMWd8]pE~ns42ދ 4`UN_