cvc4-doc-1.5-1.fc26$>IK榩lu>70?0d   7\` :: T: : : : :::(:@P(89<:G#:H#:I$:X%Y% \%8:]& :^)eb)d*e*f*l*t*:u+:v,00Ccvc4-doc1.51.fc26Interface documentation for cvc4Interface documentation for cvc4.Yk.buildvm-armv7-06.arm.fedoraproject.org 2Fedora ProjectFedora ProjectGPLv3+Fedora ProjectUnspecifiedhttp://cvc4.cs.stanford.edu/linuxarmv7hl 1Y2nem8 ^shUa Il _b(7{  l \do$ :UM$=A큤A큤A큤Yk'Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.Yj.4dc22e4421f7d2bd13a7a309b4d6053233009df02425ac9ce99bde29d6a21c149e7ed0ef70f99bb7f763a48ddd95d5990e103bb145eedfd0a76d19c122374be2782b30d237bdbeddfde4aed01f007264cc116b2d4be2f398a7cb74ec7a5bc58bc98c02adc57337f58c40aae15bbac05a3ccb364e5adb1d610a16452e92f1783023fe015c9b32b9bde62614de082b651e640d565d847a6401657ee63a393f63d670c4e0c963255324ab558b85b4bd36a310e9f9a9b359de1462cf381c0142969454b265a49fd64fdb485f22c63815463d77712eaf8b05c16f3e4950df23842cedd2f5d833266d5c6cbc69279dc7289be2dde2e281fac4997d50a00458dd6f813438046908df03bbaa825bc9b11eb88474ee0548e44acb9cdd1a61446b28ecb163742276bf0a6bd82b31fddccfa33f7273209bf30ae6d62b3893eaa3b8aefc3d39ba131687a4f18feed603b39e11701b8a322ba48f9d222f0f6a3a26fe0317a42f0646da08a556240e726ff4d212770096262ad88eacc0a4a6c1938c5279ef075c4fd7cc0b7b553599818c10dae82ab0f1434f9b30f943bb86deee9d874f9091755cd4cb41607a30d7820cc20ea76b4a3b8f57d3d2b7d102b58c8e13ad95e83aa183502afdb8eb1400c318042051d81f284c0b4e6015fcda9cb6f90b3c6de20e376973a2aae66bbb99f2b57f2ef160182825fa5305444511ca1eca4e1b0b38528b6b68c5995b9ec8cb8ebd47969ddce922d2b19cdbff14edff5ddfa9221a488e593e4c31ff8e0e2fd7453b6e1cedd8ef3c393ad63c1ca942abd8f2735274d4336ddebea147107128df422b5cb58ba005c90c08e4333e3fddcbdc3f821e438da398a6ca13a1c87edcfbfc91317896452c31a9d49c4768f1b4b46ac32e0907e00a73680166339ff62595dd2d2eed3a79fb9fa0c2e8250e89539f6d678aa2e5e51e263e8aa29c723154881294215e330359903a94c97bd124a952cfdcedf8b921cafe28decf06979d8e6087df321507d289d3ebe4551dbee394cd9b0ad4ebb39f9a97a34e42c7655866cef1aafbc95d82638e6f5401049013cfba1447828c7484f403f9f1caf501f4a2780a89977911a3d13c22a7940a5fd76390612175257a5278baaf68c9b442f1244f44f8b4b79eee5d32711b7106442aee0296f151e410acb0434f63a1c49363b668c9d4ade1940614ee7d0294d7e32bac169271f9b2309f31e64bdc6a72666e1b300fdfc5ecf102714c9fd57df76fdf47139f8dbf8ae59863643171164c16baa5953c17821a7ce5feac673c05a56b287453ce3a0bf5048f0999b7711604d6cdeaf3cdfd661fa21fc5bf18de929671c801f00415eaecd35abda35bc9a152fff06bbca68a9911e0bc6c76339aec36ac2a55e424daa18b1718c754d06b73f770772f6596432caf02e7310dbdf307fe5938e26df2775df2e5c046c913a3407d4b826a9c9f7fd490a24ba2d4e0289104b4359a2a560298cf8013ad19a7ac2a12a941d961d57321d706635527b9964f1ba6a62b21590ee42cd254d0a9a04665e9dd0ef5ef2c6ddf02b4a12472984485adb027fd12ae6c60ffd203b1a441675903cea23a4a9f7a3e83076943c4a5d86e92c7419f60b021836c082862f187b9dd07d8755af17acb18b7cffb3050ccc5dd264644b8e39cc59cc351a547a4539de07c9f35f0ca079d1e66b8f8daa1ff3b49976d92819fb9f84deac709fe48223fe2afacc1eaefca7f09419c7bb528f053539780677b81b0a972a3fbfa5b59e7804aed7f92a33aca0bb20355eaa6a8b47ae8b52e74fc04622f476731f1cbe065b9415f4729fb233a57d423d5cdac92132367ecf603c0d2485497b2f28873d4a685872c0abcc4cf8faafa55cdabf31af0b7d67ffc2e953b39d844da7f9a45d31b8441a9427d3b320d912c210a5f238a71b13e6d2f26de7e98b36dce58d7b68f96f4192d95bd027eb7c7bfc58bde7a6d985b0a95a37fec420fd97f8c0b2c29ddfd7285f8c48ce58f1b03ce4d110c4ebafac3a91ffa9553867d25a126e30295a7afd472e9dde08cdbf18a228d3e272b0cd6e47ee0d9eae553bea9e04da88748de9adac419b80bd99ebdb09819485ae5c4202387de41fcd7e55cbac5b35a04462e1c555557ca84ba3598f52c281780dd7e22655db21ac383712e62d4540a1bc52539bcba0c183ec442cc90fe27a2dbafd4e1c791aff374b5326ba16880a16d98269abb731904dd1f8eb00aaea66bfef72d5252931d84cc01cfabde3bea854b5b145ddd37bdced843340e0679b6b4e7ed2fe318fd0cef76d160543722e0c3eac11f901ae15db25905dca7a17b81c6d51869fd12ea569fc4b072d217786b4b4d73bde4b9bd9425bc87b33d6b1911e6398673939aa2f15ac505b9a1ab029b8452dd0869f392daa28adc942272615ff2db16bcf084f01ec9fcc2f7f6a632b2bba8c468655e985a3b271c25952b7ba3a9142a23515947e79dc051e75d70f84249a4b15erootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcvc4-1.5-1.fc26.src.rpmbundled(jquery)cvc4-doccvc4-doc(armv7hl-32)    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.13.0.1YjY@XZXXwoW;VV@UU@UUa@UD@U U.@T}T6S0SGSS8@Sc@R@RJ@R߲Jerry James - 1.5-1Fedora Release Engineering - 1.4-15Jerry James - 1.4-14Kalev Lember - 1.4-13Igor Gnatenko - 1.4-12Jonathan Wakely - 1.4-11Fedora Release Engineering - 1.4-10Jonathan Wakely - 1.4-9Jonathan Wakely - 1.4-8Fedora Release Engineering - 1.4-7David Tardon - 1.4-6Fedora Release Engineering - 1.4-5Kalev Lember - 1.4-4Jerry James - 1.4-3Jerry James - 1.4-2Petr Machata - 1.4-2Jerry James - 1.4-1Jerry James - 1.3-7Fedora Release Engineering - 1.3-7Fedora Release Engineering - 1.3-6David Tardon - 1.3-5Jerry James - 1.3-4Jerry James - 1.3-3Jerry James - 1.3-2Jerry James - 1.3-1- New upstream release - Drop upstreamed patches: -signed, -boolean, -minisat - Add -constant patch to fix undefined symbols in the JNI shared object - Add cryptominisat4 support- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild- Fix FTBFS (bz 1427891)- Rebuilt for Boost 1.63- Rebuild for readline 7.x- Rebuilt for linker errors in boost (#1331983)- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- Rebuilt for Boost 1.60- Rebuilt for Boost 1.59- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159- rebuild for Boost 1.58- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- Rebuilt for GCC 5 C++11 ABI change- Don't use perftools at all due to random weirdness on multiple platforms - Also Obsoletes/Provides lfsc-devel- Add -boolean, -minisat, and -signed patches to fix test failures - Fix boost detection with g++ 5.0 - Fix access to an uninitialized variable - Help the documentation generator find COPYING - Build with -fsigned-char to fix the arm build - Prevent rebuilds while running checks - Remove i686 from have_perftools due to test failures- Rebuild for boost 1.57.0- New upstream release - Drop updated test files, now included upstream - Drop obsolete workarounds for glpk compatibility - Drop lfsc BR/R, as it has been incorporated into cvc4- Remove arm platforms from have_perftools due to bz 1109309- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- rebuild for boost 1.55.0- Merge changes from Dan Horák to fix secondary arch builds- glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig- Install JNI objects in %{_jnidir} - The documentation is arch-specific after all- Initial RPM  !"#$%&'()*+,-./0123456789:1.5-1.fc261.5-1.fc26cvc4-doccvc4.taghtmlbc_s.pngbdwn.pngclosed.pngcvc4_8h.htmlcvc4_8h_source.htmlcvc4__public_8h.htmlcvc4__public_8h.jscvc4__public_8h_source.htmldir_68267d1309a1af8e8297ef4c3efbcdba.htmldir_68267d1309a1af8e8297ef4c3efbcdba.jsdir_b0856f6b0d80ccb263b2f415c91f9e17.htmldir_b0856f6b0d80ccb263b2f415c91f9e17.jsdoc.pngdoxygen.cssdoxygen.pngdynsections.jsfiles.htmlfiles.jsfolderclosed.pngfolderopen.pngglobals.htmlglobals_defs.htmlindex.htmljquery.jsmenu.jsmenudata.jsnav_f.pngnav_g.pngnav_h.pngnavtree.cssnavtree.jsnavtreedata.jsnavtreeindex0.jsopen.pngresize.jssearchsearch.phpmag.pngsearch.csssearch.idxsearch.jssearch_l.pngsearch_m.pngsearch_r.pngsearch_config.phpsearch_functions.phpsearch_opensearch.phpsplitbar.pngsync_off.pngsync_on.pngtab_a.pngtab_b.pngtab_h.pngtab_s.pngtabs.css/usr/share/doc//usr/share/doc/cvc4-doc//usr/share/doc/cvc4-doc/html//usr/share/doc/cvc4-doc/html/search/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabi   directoryXML 1.0 document textPNG image data, 8 x 30, 8-bit/color RGBA, non-interlacedPNG image data, 7 x 8, 8-bit/color RGBA, non-interlacedPNG image data, 9 x 9, 8-bit/color RGBA, non-interlacedHTML document, ASCII textHTML document, ASCII text, with very long linesASCII textPNG image data, 24 x 22, 8-bit/color RGBA, non-interlacedPNG image data, 104 x 31, 8-bit/color RGBA, non-interlacedUTF-8 Unicode text, with very long linesPNG image data, 1 x 56, 8-bit/color RGB, non-interlacedPNG image data, 1 x 6, 8-bit/color RGBA, non-interlacedPNG image data, 1 x 12, 8-bit/color RGB, non-interlacedPNG image data, 20 x 19, 8-bit/color RGBA, non-interlacedPNG image data, 2 x 19, 8-bit/color RGB, non-interlacedPNG image data, 18 x 19, 8-bit/color RGBA, non-interlacedPNG image data, 6 x 1024, 8-bit/color RGB, non-interlacedPNG image data, 24 x 24, 8-bit/color RGBA, non-interlacedPNG image data, 1 x 36, 8-bit/color RGB, non-interlacedASCII text, with very long lines, with no line terminatorsutf-8?7zXZ !#,*H]"k%]W!wb5pQIwmE?q iTkjgu 1qr#& IA#h]x j1;Eoh?ؼ.Sd:w99}/]+r#+'2#|a(1%Ӹ"UZ ܝp$Zs''dz3Q΢ W}^&3e2COpIj6H9q{ y pL*>Af(+* |[(;mTA_0ޗu78]O)g=fY;!\_Xrl!{.LI\bFberU(GQrlFQCnn R!0[-v'C-,R-QqaMMVPV놶w('PTrxGs>先ȓ@ )we-TؒX o]wI42=r;ċt3EV1,2-ᦩwr#ks#R|FLwQh8XOiJ^:4fVl&%<'C;uSa)>9<]<NJ#-7D9xmr/T3mi!?/]+fʙ֏k> +_y/00jvX/8:#8i-wפ1"l靑;BЫqEX#0x!|ݏ!k.yEoodz48#_I},X#Ex@Aibd.֣WE܄ MNEFbp + XbB4W/wiڡw•6&wfx\_l+*j^AXKڷĉy̖hTZq4a#R~B*Qv\v!GwLꁋbW;pMckJ'^=)^ n%{S{9v<'J|KQDuK)߸ZSK'laE:Bz5>Z32Up*#$^!c=~}Nk- >}=3 c<#5q2=$#Kk@,f\$jNvhߕMT* 7h>δ:u鞌1 _5FUK$65D!i >iF+JcO Xd̝(ٔR0|1n{R+ 'ieh!wcC'a Ttb-3xcN}Nۚ]i7J;cVhj*t= ?g3q0P쪊 ?Zy$U"nyhѹ"QE"ѝ7&saGIF01ZT&@.n۶Z'5q`c5t|̚pn-hDi]la32@Z0~]D,  .CS ;4ե~@zIiP-ڃA)뗮WO" Qm5|518*ťaS:W] ȃN[ `zʰ͞3ƿi@Njx 'Cڙop=t-'dZJQ$o=JN5cY*S1 c>*?I2wQ}f=Hb \=6*}U֟\w/hHp:+ҵڴqqdXDu)O?Û̀a` }# 8k^xpI`z3z"2@_^;)X~/EI H8݌ˬ&V199\SfEwPfB]?VHNϲ)O7PuO+"aeM [[cutB@63P/)fS瀙nΘ*4ylEdY@u^^ˋsΉ-1RpO:{s^#.fO KW-0UE"yHH[ VOw)OxP0Cw l /](We(!]vzJ! ސ rDOPGPZ}bJ݀6Fm&ݹS}PNM xb,Ly-ìE-J&2o\GT=<s^"Dt%!?ܣg]T"Z%se,$࿼J9Zn4ga^A6bh`xzca?BqÍtɠ½4ӵ3h4_(;|P\Lsrʮ>~6F~`8@٥]s\c=+ FA+,މtٚ̚(Ye$DˀjFZ|Fxn8(GkfZD9 ?|3p֘aD iJQAf!1?a 6E'V#Xg&{Y=F?[d KʔvqȌB PeH|⾥b;Ƥ;`elcn8 =3!kR40?=ՇmpUfrj#,-hC[{FtXjOS=a6H6~LXhZΈ?+C6y4*x%q>Uʄ816Δ$hŴ[@umo<ۍYuR@_j F"^9",W` g2!%3е`*Om#>W|8N(@s#G j{BX a2/uوRPXq) 2{w~骽4c1ާ: %zR[aٙvEM-LMs{oF6m|>'DvY 7<y1[G~)7kͳﵖa z4хOwv>n%5!3FǔLH;E6jnd d@}s( Jyu^7MG=($i䱚7joaElʜq5jYwS΋41f^Fv*q@ R|Ei52cꠋ??~Ao{ފH!-Gݘ:);Y/K 45Nϧbrp4g6GTI1>SMhk([P@S'9R<7G$`q2!7(8~P'U9vtџcNk@ڤԟ ]Z/ cYn?` &zetb*U/%_lBEy9)L~wзJ!\Em8ҔAkzE9@F3FE'b߷CjO <̤Z̏ݟ6k`*5o#w҆/  n; )1KKٝ9I_`Mq@pwWwjAFͪ>!)L :Qg밿2~ey$SquWyQPy]=a>iϲ^g©JJ3UоeKUI<^gqitDv6K4z,{VD.rϠɫ|{|GD+:`oQж:*>Jukg$LfP.5F{gў]-gEmɪmniq,Ӈz X;4#T}c[C{VYbYxġQfylM;%6#m*f=GTb،%$jKxyҋzר?rя^T4PDŽ)ݴTG`r TF+oIA=A+eo/{3W@ͭY}cBCߟ.3աAlKGb> ݕm;Xp *h7$cl(e{7gk2\ofLſV47͑Mtǃ I8iu`,:hܫv;<4^ۊ[,[lj%F&x3-w\^ͪ52ϴlP%l)S6L_<ϻR 8_`”os