+ :1j<PRt^RIHt^RIt^RIHtHt^RIHt^RI H t H t ^RI H t ^RIHt^RIHt^R IHt^R IHtHtHt^R IHt^R IHt^R IHtHt^RIHt^RI H!t!H"t"H#t#H$t$H%t%H&t&^RI'H(t(^RI)H*t*^RI+H,t,H-t-H.t.H/t/^RI0H1t1^RI2H3t3H4t4^RI5H6t6^RI7H8t8^RI9H:t:] 'd^RI;H]*P~!RRR] !R4RR7]/t@].t.]P]#]P]$]P]%/tD]]P3Rl4tER tF!R!R"4tGR#)#zuLow-level SAT solver wrapper/interface for the classic solver. See conda.core.solver.Solver for the high-level API. ) annotationsN) defaultdictdeque)cache)DEBUG getLogger) TYPE_CHECKING) frozendict)tqdm memoizemethod)MAX_CHANNEL_PRIORITYChannelPrioritySatSolverChoice)context)on_win)dashlist time_recorder)groupby_to_dict)TRUEClauses PycoSatSolverPyCryptoSatSolver PySatSolverminimal_unsatisfiable_subset)toposort) deprecated)CondaDependencyError InvalidSpecResolvePackageNotFoundUnsatisfiableError)Channel) NoarchType PackageType MatchSpec) PackageRecord) VersionOrder)Iterablez26.9z27.3 stdoutlogzconda.stdoutlogz/Use `conda.gateways.streams.stdoutlog` instead.)addendumcRp\V,pV!V4\PRV4V# \d9p\P RT4\PRTRR7Rp?MRp?ii;i\P 4FTpT!T4\PRT4Tu# \d#p\PRTT4Rp?KNRp?ii;i \ R 4h) c\VR7pVP4VP40pVP!VP.VO5!\ VP 44pVP V4'g\RV RV 24hR#) sat_solverzWrong SAT solution: z . Required: N)rnew_varRequireAndsetsatissubset RuntimeError)r.crequiredsolutions& -lib/python3.14/site-packages/conda/resolve.pytry_out_solver+_get_sat_solver_cls..try_out_solverHsu z *IIK- !%%#(#quuw<  **!5hZ|H:VW W+z Using SAT solver interface '%s'.z0Could not run SAT solver through interface '%s'.zSAT interface error due to: %sT)exc_infoNz*Falling back to SAT solver interface '%s'.z7Attempted SAT interface '%s' but unavailable due to: %sz@Cannot run solver. No functioning SAT implementations available.) _sat_solverslogdebug Exceptionwarningvaluesr)sat_solver_choicer:r.es& r9_get_sat_solver_clsrFFsX/0J z" 46GH F >@Q  2A EE F#))+   : & IIBDU V   III!   , J s,2 A5.A00A5B22 C=CCcVP^8XdTVPV4p^pV'd7V^,PFpV\V4P, pK! V#VPpV#)zSorting key to emphasize packages that have more strict requirements. More strict means the reduced index can be reduced more, so we want to consider these more constrained deps earlier in reducing the index. ) strictness find_matchesdependsr%) resolve_objmsprecvaluedeps&& r9exactness_and_number_of_depsrPlse  }}''+ Aw3222' L  Lr<ca]tRt^}tR5RltV3RltR6RltR7RltR7RltR7Rlt Rt Rt R t R6R lt R8R ltR tR6R ltRt]R4tRt]!]R7R9Rl4tRtRRltRRltR:Rlt]RRl4tR;Rlt]R4t]R4tRt ]!]R7R4t!R t"R!t#R"t$R#t%R$t&R%t'R&t(R;R'lt)R(R)lt*R*t+R+t,R,t-R-t.R7R.lt/RResolvec WnW0nV'dVPV4M/Vn\P Vn\PVn\RVP44p\\4pVFpWF,Uu.uFqwP'gKVNK ppV'd\PRV4WV&RWF,4p V F-pVP Fp WZ,P#V4K K/ K W@nWPn/Vn/Vn/Vn/Vn/VnVU u0uF:p \3V R4'gKV P4\6P88XgK8V kK< up VnVP$P=4F)wrl\?WP@RR7VP$V&K+ R#uupiuup i)cVP#Nnamexs&r9"Resolve.__init__..s166r<z(restricting to unmanageable packages: %sc3L"TFqP'gKVxK R#5irUtrack_features.0rMs& r9 #Resolve.__init__..sM9L9Ls$ $ package_typeTkeyreverseN)!indexchannels_make_channel_priorities_channel_priorities_maprchannel_priority_channel_prioritysolver_ignore_timestamps_solver_ignore_timestampsgroupbyrCrlistis_unmanageabler?r@r^appendgroupstrackers_cached_find_matches ms_depends__reduced_index_cache _pool_cache_strict_channel_cachehasattrrcr#VIRTUAL_SYSTEM _system_precsitemssorted version_key) selfrg processedrhrsrtrWrMunmanageable_precstf_precs feature_name_groups &&&& r9__init__Resolve.__init__~s  7?D ) )( 3R $")!9!9)0)I)I&)5<<>:t$D39* NNk&@&@@ A  ;;,,.KD &u2B2BD QDKK /?"Y" sG(G G!$G!G!c d<\SV`4\\VP44, \\ VP 44, \VP4, \VP4, \\ RVPP4444, \\ RVPP4444, \\ RVPP4444, #)c3@"TFwrV\V43xK R#5irUtupler`kvs& r9ra#Resolve.__hash__..sL8Kq%(m8Kc3@"TFwrV\V43xK R#5irUrrs& r9rarsN8Mq%(m8Mrc3@"TFwrV\V43xK R#5irUrrs& r9rarsQ8Pq%(m8Pr) super__hash__hash frozensetrhr rjrlrnrsr}rtrv)r __class__s&r9rResolve.__hash__s G  9T]]+, -:d::;< =4))* +4112  3 :L 8I8I8KLLM  N :N 8K8K8MNNO  P:Q8H8H8N8N8PQQR S r<c `Vf/pMVP4TPVPP4Uu/uFp\P !V4RbK up4V'd7TPVUu/uFp\P !V4RbK up4V#uupiuupi)NFT)clearupdatertkeysr&feature)rfeaturesfilterrWs&&& r9default_filterResolve.default_filters >F LLN <@MM.v_s"",T9"="=5; P74= Pr<c<S;'dVP;'gY\;QJd.V3RlSPV44F 'gK R# R#!V3RlSPV444#)c34<"TF pS!V4xK R#5irU)r`fkeyrs& r9ra/Resolve.valid..v_ms_..sG1Fwt}}1FTFoptionalanyrI)rLrrrs&r9rResolve.valid..v_ms_sn  KKHH3G1B1B21FG33  G1B1B21FGG r<c<SPV4pVfYRSV&SPV4p\;QJdV3RlV4F 'dK RM RM!V3RlV44;pSV&V#V# \d R;pST&T#i;i)NTc34<"TF pS!V4xK R#5irUr)r`rLrs& r9ra1Resolve.valid..v_fkey_..s,I2U2YYrF)get ms_dependsallr)rMvalrJrrrs& r9rResolve.valid..v_fkey_s**T"C{#t J"ood3G*-,I,I,I,I)IIC&,J3J #/)..C&,J /sA11BBr)r spec_or_precrrrresultrrsf&ff @@r9valid Resolve.valids$" Q  L! r<c \aaaaaVV3Rlp\VVV3Rl4oVVV3RloV!V4#)cP<\V\4'd S!V4#S!V4#rUr) _spec_or_prec is_valid_prec is_valid_specs&r9is_valid Resolve.valid2..is_valids&-33$]33$]33r<c<S;'dVP;'gY\;QJd.V3RlSPV44F 'gK R# R#!V3RlSPV444#)c34<"TF pS!V4xK R#5irUr)r`_precrs& r9ra8Resolve.valid2..is_valid_spec..sR9Q}U++9QrTFr)_specrrrs&r9r%Resolve.valid2..is_valid_specsp##NNSS3R9J9J59QR33  R9J9J59QRR r<cd<SPV4pVfwRSV&\;QJd.V3RlSPV44F 'dK RM# RM!V3RlSPV444pV'dRMR;pSV&V'*#V'*# \dR;pST&T'*#i;i)NFc34<"TF pS!V4xK R#5irUr)r`rLrs& r9ra8Resolve.valid2..is_valid_prec..s)4Ib b))4IrTzinvalid depends specszinvalid dep specs)rrrr)rMrhas_valid_deps filter_outrrs& r9r%Resolve.valid2..is_valid_precs..&C{#( 4  %(S)48OOD4I)SSS)48OOD4I)&N"05LC*T*7Ns7N #A-@@C*T* 7N As B#B'BB/.B/r )rrrrrrrsf&ff @@r9valid2Resolve.valid2s. 4       %%r<c >aaaaVVVV3RloS!V\44#)aConstructs a set of 'dependency chains' for invalid specs. A dependency chain is a tuple of MatchSpec objects, starting with the requested spec, proceeding down the dependency tree, ending at a specification that cannot be satisfied. Args: spec: a package key or MatchSpec filter: a dictionary of (prec, valid) pairs to be used when testing for package validity. Returns: A tuple of tuples, empty if the MatchSpec is valid. c3<"VPV9dR#VPVP4S PVS S 4'dR#S PV4pRp\ 4pVFIpS P V4F1pS !Wa4FpRpV3V,xK VPV4K3 KK V'gG\ RV4pVP4F#p V3\P!V 4,xK% R#R#5i)NFTcVP#rUrVrXs&r9rZ9Resolve.invalid_chains..chains_..4sAFFr<) rWaddrrIr2rrorCr%union)rnamesprecsfound conflict_depsrMm2rYconflict_groupsrchains_rrrs&& r9r'Resolve.invalid_chains..chains_"syyE! IIdii zz$11%%d+EEEM//$/B$R/ $#gk)0&))"- 0")*:M"J,335E'IOOE$:::6sAD  A5D AD )r2)rrrrrsf&ff@r9invalid_chainsResolve.invalid_chainss  ; ;,tSU##r<c "a.p.p\4pVF@pVPR4pV'dVPV4K/VPV4KB VP V3RlV44V'd \ V4h\ V4V3#)aPerform a quick verification that specs and dependencies are reasonable. Args: specs: An iterable of strings or MatchSpec objects to be tested. Returns: Nothing, but if there is a conflict, an error is thrown. Note that this does not attempt to resolve circular dependencies. r^c3<"TF5pVP'dKSPV4'dK0V3xK7 R#5irU)rrI)r`rrs& r9ra'Resolve.verify_specs..Ns6 $MM *.*;*;D*A TG$sAA A)r2get_exact_valuerrrextendrr)rspecs non_tf_specsbad_deps feature_namesrL_feature_namessf& r9 verify_specsResolve.verify_specs:s  B//0@AN$$^4##B'   $  (2 2\"M11r<c  a R\4R\4R\4R\4/pT;'g.Uu0uFp\V4kK ppT;'g.Uu0uFp\V4kK ppVEFwo \S 4^8EdgS R,PR8XEdN\;QJdRV4F 'gK RM RM !RV44'Eg\;QJdRV4F 'gK RM RM !RV44'dVUu.uF%qf^,PR8XgKV^,NK' ppV'dV^,p\VP V44\VP S R,44,'gKVR,P \S ^,S R,.4\\VRR 7434EKuEKxEK{S R,PPR 4'dVPUu.uF(qfPS R,P8XgK&VNK* p pV 'dV ^,PMR p VR,P \S 4V 34EK$S ^,V9dRp VF`p V PS R,P8XgK'VR,P \S 4\\V RR 7434Rp Kb V 'gBVR,P \S 4\\S ^,RR 7434EKEK\S 4^8gD\;QJdV 3R lV4F 'gK RM RM!V 3R lV44'gEK9VR,P \S 4\\S ^,RR 7434EKz VR,'dTVR,Uu.uF<pV^,PR 4'g\V^,4^8gK:VNK> upVR&V#uupiuupiuupiuupiuupi)pythonrequest_conflict_with_historydirectvirtual_packagec3>"TFqPR8HxK R#5i)rNrVr`rs& r9ra-Resolve._classify_bad_deps..gsE 1FFh. sTFc3f"TF'q^,PR8XgKV^,xK) R#5i)rNrVrs& r9rarhs%HhA$))x2G!hs11N)target__z not availablec3v<"TF.p\V4^8;'dV^,S^,8HxK0 R#5i)Nlen)r`r6chains& r9rars4)>FCFaK44AaDE!H$44hs99zpython ) r2r%rrWrrIrrstr startswithr|version)rr specs_to_add history_specsstrict_channel_priorityclassesrpython_first_specs python_specrvirtual_package_versionmatchrrs&&&&& @r9_classify_bad_depsResolve._classify_bad_depsWs ce +SU ce su   /;.@.@b.@A.@ ! .@ A/U/VWq\))DyyE"INN2 ?@DD"5\3yd/K+LM!% *H%))us9U1Xd+K'LM u:>SS)>F)SSS)>F)&&H%))us9U1Xd+K'LMY` 8  !*!*AQ4??9--QqTQ*!GH  sBC&WV8!s5QQQ ; Q '#Q%Q% "Q*/Q*Q*c aVPV4pV'gV#VPVP4o\;QJd.V3RlV4FNK 5#!V3RlV44#)c3`<"TF#qPPS8XgKVxK% R#5irUchannelrW)r`fsole_source_channel_names& r9ra3Resolve.find_matches_with_strict..s!V199>>=U+UQQs. .)rI_get_strict_channelrWr)rrLr matchesrs&&& @r9find_matches_with_strict Resolve.find_matches_with_strictsR##B'&N#'#;#;BGG#D uVVuVuVVVVr<c \P'd5\P'g \R4VP WV4pM/p\P \ P8Hp\WER7h)zk Found conflicts! Looking for incompatible packages. This can take several minutes. Press CTRL-C to abort.)strict) runsatisfiable_hintsjsonprintbuild_conflict_maprkrSTRICTr )rrrr rr s&&&& r9find_conflictsResolve.find_conflictss`  & & &<<<M..uMRHH")":":o>T>T"T JJr<c a.pVPV.4.p.pV'EdVP^4oSR,pW9dK+VPV4VPV8Xd\V4^8XdVPS4\VR,4\S48XdA\P !SR,VR,R,34^,p WR,R&MVPS4\V4V8H;'d;\ ;QJdV3RlV4F 'gK RM RM!V3RlV44p \V4^8Xg V 'dV#Tp S^RF p W,p K V PV/4U u.uFqNK pp VfEKVFBp\V4V8gK\S4pVPV4VPV4KD EKV#uup i)z1Return shorted path from root_spec to target_namec3R<"TFp\V4\S48gxK R#5irUr)r`rpaths& r9ra=Resolve.breadth_first_search_for_dep_graph..s"M16ACFc$i's$'TFr) rrpoprWrr%rrrrp)r root_spec target_name dep_graph num_targetsqueuevisited target_pathsnode last_specfound_all_targets sub_graphprchildrenadjnew_pathr(s&&&&& @r9"breadth_first_search_for_dep_graph*Resolve.breadth_first_search_for_dep_graphs i[! e99Q=1.6'] - One spec conflicts with a dependency of another; e.g. ['numpy 1.5*', 'scipy 0.12.0b1'] - Each spec depends on *the same package* but in a different way; e.g., ['A', 'B'] where A depends on numpy 1.5, and B on numpy 1.6. Technically, all three of these cases can be boiled down to the last one if we treat the spec itself as one of the "dependencies". There might be more complex reasons for a conflict, but this code only considers the ones above. The purpose of this code, then, is to identify packages (like numpy above) that all of the specs depend on *but in different ways*. We then identify the dependency chains that lead to those packages. rzBuilding graph of depsF)totaldescleavedisablez Examining Nc3L<"TFqPS8wgKVxK R#5irUrV)r`srs& r9ra-Resolve.build_conflict_map..<s+Lu!! AAu$ $TzDetermining conflictszExamining conflict for {} c38"TFqPxK R#5irUrVrs& r9rarLGs?VPU1PU:rNNr) rrkrr#r2rWrrrInextiterrrr| to_match_spec_get_package_poolr r set_descriptionrCrrrr}rrformatjoin intersectioncountr:rr) rrrr r rrrr-dep_listtdep_graph_for_specall_deps_for_specrOchainsconflicting_pkgs_pkgsrset_vrootsnodeslrootscurrent_shortest_chain shortest_noderequested_spec_unsatroot search_nodenum_occurancesr6r2rrrs &&&& @r9r"Resolve.build_conflict_maps<#*":":o>T>T"TE l33ce4"'J%$yy/C/CD/I%J u:?''T%[(9:G7|q DOOGAJ78 1C1CD1CAoo'1CDED  " "D7 +  e*)LL   !!Jtf"56 8<8P8PQU8V5"  !34<< **YY'..t4+/&HYY',C||CHH-- *11$7.2V* -  * "NN$DAqaLE5zA~(,,U3;453)%0)%077:d##+Lu+L+Lu+L(L(L01s%e,%e*(LL    5 ; ; = u!!/66sxx?VPU?V7VW %*+U!U+)+& $ '0'7'D'D%*+UVVU+($(MMe"VevvAU7U11e"VW$*2JqMM %6!9Q</*7*<*  ^** - AK E    \,,#W%  sp "V52V57V:#DV?(A"W" W W"2WW"W"$W;W.W"4CW"?AW"? W W"" W2 c RpVPV,pV# \dYP9dTPT,Uu0uFq3PPkK MuupippTUu/uF pTP P T^4TbK" Muupipp\T4^,pTT,;q PT&T#i;irU)ryKeyErrorrsrrWrjrr~)r package_name channel_namerMall_channel_namescnby_cphighest_prioritys&& r9rResolve._get_strict_channelss  55lCL  {{*26++l2K%2K$LL%%2K%!% 0/0044R;R?/$*%=$ KP$K 99,G s'0C A(' C3&B1C Cc VV'gR#VPV^,P8#)zIPrevent introduction of matchspecs that broaden our selection of choices.F)rH)rrL specs_by_names&&&r9_broaderResolve._broaders$}}}Q/::::r<c $\V4pWP9dVPV,pV#VPV4p\RV4pVP 4UUu/uFwrEV\ V4bK pppW PV&V#uuppi)cVP#rUrVrXs&r9rZ+Resolve._get_package_pool..sQVVr<)rrxget_reduced_indexror}r2)rrpool grouped_poolrrs&& r9rTResolve._get_package_pools%  $$ $##E*D  ))%0D"#3T:L*6*<*<*>?*>$!As1vI*>D?&*  U # @s"B ) module_namec  J aaaaaaa a!a"a#\P\P8Ho"S"\ V43pVSP 9dSP V,#\ P\4'd0\ PR\\RV4444SPV4wrSPV4P4UUu/uFwrgYg'dRMRbK uppo\4o Ro#\4oV'd\\!V4V3RlRR7p\ V4p/oVFSpSP#VP$\44\SP'V44,SVP$&KU VVVVVV V"V#3Rlo\4p \)^4Fkp S P+4\-V4p V 'gK(V P/4pS!V.4'dV P1V4K<V P3V4KO V 'd V'd/#R V4Uu/uFqfVbK upo/p VF3pV P#VP$.4V.,WP$&K5 VEFp \;QJd(.VVV3R lSP'V 44FNK 5M!!VVV3R lSP'V 444pS"'d]V'dUSP5V^,P$4o!\;QJd.V!3R lV4FNK 5M!V!3R lV44pSP7R V44VEFp\4pV P4UUu/uFwppVVR ,bK ppp\SP9V44pVFqpVP#VP$.4pVV9d=V'd#VP:V^,P:8dVP=^V4VVVP$&Ks V'gKVP?4pVP3V4V3RlSP'V44FpSPAVS4'gKS"'d7SP5VP$4VPBP$8XgK[VSV&\SP9V44V, pVFipRV9dOSPEV\ VP#VP$R444'gVP3V4KXVP3V4Kk K EK= EK \GS4oSSP V&S#uuppiuupiuuppi)zRetrieving packages for: %sc38"TFp\V4xK R#5irUrr`rKs& r9ra,Resolve.get_reduced_index..s?1ArPFzfeature not enabledNc<<\SV4VP43#rU)rPdist_str)rYrs&r9rZ+Resolve.get_reduced_index..s;D!DajjlSr<Trdc.<\\V44PpSPP VR4pV'd]S'dUVS9dNSP V4pVF%pVP PV8wgK RSV&K' SPV4^;rVVEFWpSPVR4'dKV^, pSPW4'd&SP V4'dVSV,9d RS 2SV&Km\4pSPV4FpVP'dK\;QJd.V3RlSPV44F 'gK RM# RM!V3RlSPV444'dKwVPV4K V'd.RPRP!RV444SV&EKIRSV&V^, pEKZ We8p V 'd\"P%RWV3,4\;QJdR V4F 'gK RM RM !R V44'dV #V^8XdR #V 'gVS9dSPV4\'R VV3R lV44p V P)R R 4\+V P-4RR7F;wr\/V 4V8gKS!\V 44p V 'dRp K4V eK:R # V #)z&removed due to strict channel priorityFz incompatible with required spec c3\<"TF!pSPVR4'dKVxK# R#5iFN)r)r`recrs& r9raBResolve.get_reduced_index..filter_group..s(7'<#->>#u#= C' %dc38"TFqPxK R#5irUr)r`rLs& r9rars02;;rPNcVP#rUrV)rKs&r9rZAResolve.get_reduced_index..filter_group..saffr<c3<"TFMpSPVR4'dKSPV4FpVP'dKVxK KO R#5ir)rrr)r`rMdep_specrrs& r9rarsP$)D)~~dE:!)-(=H'00 !)>!$)sA#A A*c\;QJd#RV^,4F 'gK R# R#!RV^,44#)c38"TFqPxK R#5irUrrs& r9raTResolve.get_reduced_index..filter_group.... s9Sd**drPTFrrXs&r9rZr s1cc9SaPQd9Scc6Sc6Sc9SaPQd9S6Sr<rer)rQrRrWrsrrrr setdefault match_anyr2rrrrIrVrWr?r@ror*r~r}r)_specsrWrrrMnoldnnewunsatisfiable_dep_specsrLreduced _dep_specs deps_namedepsrescp_filter_appliedexplicit_spec_package_pool filter_grouprrsnamesr top_level_specs& r9r/Resolve.get_reduced_index..filter_groupsV %**DKKOOD"-E0TAR5R+/+C+CD+I(!D||((,DD+S 4(""%%d+OD!,,T599AID NN688266t<< (B4(HH?~>NO#4(!.1e+"ood3!{{{337'+'8'8'<73337'+'8'8'<744 477; 4/+J+Q+QHH$M5L$MM, 4(!',Jt$AID36kG 4D7IIJs00sss0000$f, 4 $$$)  sD)'-$$&,S(OI4yD(*3t95&*G [#'(Nr<c3N"TFp\P!V4xK R#5irU)r&r)r`rWs& r9rar-s#UHDM$9$9$$?$?Hs#%c3n<"TF*pVS9gK SPVS4'gK&VxK, R#5irU)r)r`rMrreduced_index2rs& r9rar3s5%T>T"T+U>-BB 11 1,,Y7 7   E " " II-???@  $(#4#4^#D "00:@@B B  3%$9 9B E $^$SN ~.%'"A1K1O1O2D%%a()2* &qvv . S S tqA LLN.)E%MMO$$LLO"&&q) .I$VH#U #U4$J#U  A);)?)?)Kqc)Q vv & +M$u% --m<%uu% --m<%   '+;&*&>&>?OPQ?R?W?W&X##(5) 0)55) 0)$  ! !!L;K!L L' !U 5G5M5M5O P5OTQAaD5O P 45 $C)--chh;E%'!S^^uQx7J7J%J Q,.3M#((+ % i#BNN2&$#'#4#4R#8$ ${{7J??$ 7 44W\\B&3347>N73),DOOG,D(E (RI*3$46#A$--$*$)-*;*;FKK*L$MK"K"%.MM&$9%/NN6$:#+4!$/(#,d$N3/=!!),w B :!Qs V V V c xa\;QJdV3RlV4F 'gK R# R#!V3RlV44#)c3D<"TFqPS4xK R#5irUr)r`rLrMs& r9ra$Resolve.match_any..s0Cb88D>>Cs TFr)rmssrMs&&fr9rResolve.match_anys,s0C0ss0s0s0C000r<c V^8dQhRRRR/#)rr%returnztuple[PackageRecord]r)rVs"r9 __annotate__Resolve.__annotate__s/Cr<c aaSPPSR4pVeV#SPR4pV'dSPPVR4pMlSPR4'd<SPR4p\P P V3RlV44pMSPP4p\;QJd.V3RlV4FNK 5M!V3RlV44pVSPS&V#)NrWr^c3\<"TF!pSPPVR4xK# R#5i)Nr)rtr)r`rrs& r9ra'Resolve.find_matches..s(<HU  !!,33 s),c3Z<"TF pSPV4'gKVxK" R#5irUr)r`r6rs& r9rars@!$**Q-AAs+ +r) rurrrs itertoolsr from_iterablergrCr)rrr spec_namecandidate_precsrsff r9rIResolve.find_matchess''++D$7 ?J((0 "kkooi.sQ=4 66=s)rvrcombined_dependsr%rr)rrMrds&& r9rResolve.ms_dependssl##D) <*.*?*?@*?QIaL*?D@ KKQ4==Q Q%)  T " AsA6c VPpVPPVP^4pV\8d^M^p\ VPRR44pVPR^4pVPR4p\ VPR8H4)p VP\P8wdWT)WgV .p MWVV)Wy.p VP'dV PV4V #V PVPR^4V34V #)rr build_numberbuildnoarch timestamp)rrjrrWr r'intsubdirrlrDISABLEDrnrrr) rrMvtyperrkrversion_comparatorr build_stringrvkeys &&& r9rResolve.version_keys,,77;; LL! &(<<!)$((9b*ABxx2 xx( dkkX-..  ! !_%=%= =,.@PVWD0@/@,WD  ) ) ) KK %  KK+q1<@ A r<c V^8dQhRRRR/#)rrhzIterable[Channel | str]rzdict[str, int]r)rVs"r9rrs+B~r<c /pRV4p\V4F&wr4WA9dK \V\^, 4W&K( V#)c3p"TF,p\V4PFq"PxK K. R#5irU)r!rhrW)r`rWrs& r9ra3Resolve._make_channel_priorities..s( %-TWT]=S=S'LL=SLXs46) enumerateminr )rhpriorities_map channel_namespriority_counterrns& r9ri Resolve._make_channel_prioritiessZ  %- /8 .F * -+. "6":,N (/G r<c \V4pVPV4pV'gV'g\V3.4h\W0PR7#)r)r%rIrr~r)rrLemptyokrs&&& r9get_pkgsResolve.get_pkgss@ r]!!"%W(2%1 1e!1!122r<c \V\4'dVP4#\V\4'd4R\ V4,VP 'd R,#R,#\ 4h)z@s@?r)rr&rr%rrNotImplementedError)rs&r9 to_sat_nameResolve.to_sat_namesW c= ) )<<> ! Y ' '3s8#clllsC CC C%' 'r<c RV RV 2#)z@fm@@r) prec_dist_strrs&&r9to_feature_metric_idResolve.to_feature_metric_idsm_AdV,,r<c \V4pVPV4pVPV4pVeV#VP4pVP R4p\ RRVP R4;'gR444pV'dVP PV.4;rMmV'dI\V4^8wd\h\\V44p VPPV .4;rMVPP4;rRpV'g*VU u.uFqPV 4'gKV NK p p \V 4\V48XdaVP 'd\"pMGV'g@V'd \VR7M \V4p VPVP%W44pVfV U u.uFqPV 4NK pp VP 'dGV'd \VR7M \V4p VP'RVPV 4,4VP)V4pVP+WC4V#uup iuup i) NrWc3:"TFpV'gK VxK R#5irUr)r`_tfs& r9ra)Resolve.push_MatchSpec..s X CXs  c3@"TFqP4xK R#5irU)strip)r`rs& r9rar sX+Wa +Wrr^Fr]!r)r%r from_name _is_singlerrrsrrr5rQrRrtrgrrrrpush_MatchSpecrrAnyname_var)rCrsat_namemsimplenmtftgrouplibsrrms2rM sat_namess&&& r9rResolve.push_MatchSpecs##D) KK ! =O"  ! !& )  X4+?+?@P+Q+W+WUW+WX    KKOOB3 3FT 2w!|""T"XA MM--a4 4FT JJOO- -FF%+@VTzz$/?DDVD@ t9F #}}}68ir2imKK 3 3A ;< 9<@ADD))$/DIA}}}68ir2im  t'7'7'%%d+E>! (#" $**9T?;.s">g419gsTF) r%rrWr}rsrrrrnr)rrrinclude0eqceqveqbeqaeqtsdictrKrWtargetsr6pkgspkeyricivibitiar7rMs&&&& @r9generate_version_metrics Resolve.generate_version_metricsts,A! A   QVVR (#[[]MD6:kkoodB6OP6O%%a(!,6ODPD&*! Tss">g">sss">g">>><-..B..b.2!W A.$q'[^2K!GB())B))b2!W A.!GB#$$B$b!W A.!GBKB!W A.!GBB777DG{ST~.mysat$66q%@K55- -r<TrjN)r3rrF) r2r{rRrhr%rrrgrr) rrr all_specs reduced_indexrwr8final_unsat_specsrrns &&& @@r9get_conflicting_specsResolve.get_conflicting_specssIJ^!44 ..y9  . . t}}EB AY-HH  " !  ( ( (TDMMBB A %,^! ! !%   r<c  baaaa\PR4V'gR.3#/o.pVFWpVSSPV4&VP\ VP RVP RVP 244KY SP4Uu/uFqDVbK ppVUu/uFqfP VbK ppRV9dQRV9dJWWR,,pRVP9d*VPU u.uF qR8wgK V NK p p Wn \VRSPR7p V P4oV PSV4p SPV 4p R;rV 'd V'EdVV3Rlo\4pV P!SV4pSP#VSP44wp pVP%V3RlV3R lV 444VFpS!\ V4P V4K! \'V4\'S48d\TpSP)4UUu.uFwppVR ,V9gKVNK ppp\PR R P+V44V'd\PR V4W3#uupiuupiuup iuuppi)riNrNrpipTrjc<W9dbVPV4SPPV.4F.pSPV4FpS!VPV4K K0 R#R#rU)rrsrrrW)rWrfnrLget_rs&& r9r#Resolve.bad_installed..get_'sT%JJt$"kkoodB7"&//""5B &1#68&r<c3<"TF8pV'gK V^,R8wgKRV9gK&SV,R,xK: R#5i)rrrrWNr)r`rrms& r9ra(Resolve.bad_installed..4sH CH/ ( s 2/7:(7J/ X&v.. Cs A AAAc3F<"TFpSPV4xK R#5irU from_indexr`rKrs& r9rar6s C(Qa(!rWz-Limiting solver to the following packages: %s, zPackages to be preserved: %s)r?r@rrrr%rWrrrCrJrRrhr%r(r3r2r<minimizerrr}rW)rrlrrrM new_indexr6name_map python_precrnew_depsrnror8limitxtrar eq_optional_crrrrrrrmsf&& @@@r9 bad_installedResolve.bad_installedsh EF8O D37L))$/ 0 LLdii[$,,q #MN O-9,?,?,AB,AD4Z,A B'01y!FFAIy1 x E$9#X$67K +++'2':':I':!5jAA':I&.# Yt}} = NN 221e< 55%44 2UF55a?M**]AEEG.MsC8avvU/B8rMN)rWr)rrQpreserverMrOs&&& @r9 restore_badResolve.restore_badJs: 156YY_6E KKC8C C 6sAc ,\\\V44pVUu0uFqDPkK pp\P R4VP W!4wrgVFpWP9dKVPVPVPrp VPPp W9g Ve W9dK`V'd\WP4R7p M \WWR7p VP^V 4K \V4V3#uupi)z*Checking satisfiability of current install)rWr)rWrrr)rpmapr%rWr?r@rrgrrrcanonical_namerrr)rrrl update_depsrKrrrrMrWrrschannelrs&&&& r9 install_specsResolve.install_specsOsSE*+"'(%Q&&%( >?,,Y>D::%#'99dllDJJ5D||22H~!2t7H d==?C e LLD !#$U|X%%+)sDc TPY;'g.V4wr.pV'dVPWRR7pVPWe4V#)F) returnall_remove)rsolver)rrrlrrrrQs&&&&& r9installResolve.installhsI,,UOO[Q ::e%:HD ( r<c  d.p\\V4FTpVP4'd VP\VRRR74K8VP\VRR74KV VUu0uF"qDP'gKVPkK$ ppVP W#4wrg.pVFvp V PV P rW9dK"VeVPV 4K9TP\T V 'd RV ,MRRV P4R74Kx W83#uupi)rT)rrrNz>=)rWrrr)rr%rrrrWrrr) rrrlnspecsrKrrrrrMrvers &&& r9 remove_specsResolve.remove_specsps Y&A||~~ i3FG iD9:'#)3&QFF&!&&&3%%i8Dii|"% .1s t!%#}}  '4s /D-D-c tVPW4wrVPVRR7pVPWC4V#)T)r)rrr)rrrlrrQs&&& r9removeResolve.removes9++E=zz%z. ( r<c$V^8dQhRRRRRR/#)rrrprrkrr\r)rVs"r9rrs-z z z z  z r<c  a=a>a?a@V'dJ\V^,\4'g-\;QJd.RV4FNK 5M !RV44p\V4p\P \ 4'd2\R\V444p\PRV4V'gR9#\PR4\V4pVPV\P'*R7p V 'g\4p \4p VF[p VPV 4'dKV PVP 9dV P#V 4KJV P#V 4K] V 'd \%V 4hV 'd\'V U u.uFq.NK up RR7hV'd \'/4hVP)WV4\PR4R:V=V@3R llpV=3R lo>V=V>3R lp\+V R VP,R 7o@S@P/4o=V!VR 4pV'g&V'd \'/4hVP)WV4.p.p.p\S@P 4p\V4Fwpp V PV9dVP1V P4V P2'g/V P4'gVV8dTMTP7V 4Kr\9S@PV 44'gK\V PR V P4R7p VP7V 4VP7V 4K VP;RV44\P \ 4'd\PR\\=RV4444\PR\\=RV4444\PR\\=RV4444\PR\\=RV4444\PR4V'd>S@P?S=V4pS=PAVV4wpp\PRV4\PR4S@PCS=V4wpppppS=PAVV4wppS=PAVV4wpp\PRVV4\PR4S@PES=4pS=PAVV4wpp \PRV 4S@PGS=4p!S=PAV!V4wpp"\PRV"4\PR4S=PAVV4wpp#\PR V#4\PR!4S=PAVV4wpp$\PR"V$4V'gS\PR#4S@PIS=V4p%S=PAV%V4wpp&\PR$V&4\PR%4S@PKS=V4p'S=PAV'V4wpp(\PR&V(4\PR'4S@PCS=V4wp)p*p+p,p-S=PAV)V4wpp.S=PAV*V4wpp/S=PAV+V4wpp0S=PAV,V4wpp1\PR(V.V/V0V14\PR)4S@PMS=V4p)S=PAV)VR R*7wpp\PR+V4V!V4'g=V-POV4S=PAV-V4wpp2\PR,V24\PR-4^p3.p4S>!V4p5V4P7V54\;QJd.V=3R.lV54FNK 5M!V=3R.lV544p6S=PQV63R 4pVfMAV3^, p3V3^ 8d\PR/4MS>!V4p5V4P7V54KV3^8d\S\U\V444p7\PV!V7!p8V7U9u.uFp9\=\V94V8, 4NK p:p9\PX'gB^R0I-H.p;T;!R1P_V3^ 8dR2MT3\R3V:44V3^ 8dR4MR544VP`Pc4U.s61)A,,rPc3x"TF0wr\RWVPVP3,4xK2 R#5i)z%i: %s target=%s optional=%sN)rrr)r`rArKs& r9rars6,DA2aAHHajj5QQRR,s8:zSolving for: %sz2Solve: Getting reduced index of compliant packages)rF)r^z!Solve: determining satisfiabilitycJ<SPSV4pSPW!4#rUrtrus&& r9rwResolve.solve..mysatryr<c<V3RlV4Uu.uF(pV'gK V^,R8wgKRV9gK&VNK* up#uupi)c3F<"TFpSPV4xK R#5irUrrs& r9ra/Resolve.solve..clean..s73a!,,q//3rrrr)solqrs& r9cleanResolve.solve..cleansP8377A1),A7 s A AAAc<S!V4p\;QJd.V3RlV4FNK 5M!V3RlV44pSPV3RR7fR#R#)a=Determine if the SAT problem has converged to a single solution. This is determined by testing for a SAT solution with the current clause set and a clause in which at least one of the packages in the current solution is excluded. If a solution exists the problem has not converged as multiple solutions still exist. c3d<"TF%pSPSPV44xK' R#5irUr!rr`rrs& r9ra6Resolve.solve..is_converged..%E9aAEE!++a.119-0F) includeIfT)rr3)r8 psolutionnclauserrs& r9 is_converged#Resolve.solve..is_convergedsGhIeE9EeeE9EEGuugZ5u19r<Trj)rrc38"TFp\V4xK R#5irUr$rs& r9rars15aYq\\5rPzRequested specs: %sc38"TFp\V4xK R#5irUrrs& r9rar 10c3D"TFpRPV4xK R#5i)rN)rW)r`diffs& r9rars CUT4Us z ... and othersrc36<"TFpSV,xK R#5irUr)r`rrs& r9rars ?XYx scVP#rUrVrXs&r9rZResolve.solve..sqvvr<rrrz)4rr%rr2r?rrrrr@rr{rrrIrWrsrrr r$rRrhr%rrrrrrrr~r<rrXr+r9r@r0rDrr3rprrXr gateways.streamsr)rVrgrCrr5)Arrrrrr should_retry_solvedlistlen0r|not_found_packageswrong_version_packagesrKrrwrr8specospecrspecaspecmrrobj7eq_req_ceq_req_veq_req_beq_req_aeq_req_tobj3aobj3eq_feature_countobj1eq_feature_metricobj2obj4 noarch_objeq_optional_installobj49eq_uobj50eq_ceq_veq_beq_aeq_tobj5aobj5obj6obj6aobj6tnsol psolutionsrrpsols2commonrdiffsr)rMrrrrnsA&&&&&&& @@@@r9r Resolve.solves' E!Hi88E66EE666EE    E " "%e,E II' /I FG5z.. (C(C$C/ "% %(U "((++vv,.2215*..q1  ",-?@@'("89"8QS"89%"),,##EG 56 . .   ]D4== A NN %!(,,##EGBIIe$DAqvv QVV$:::(((a4iUBB1ER__Q'((afftAHHE Q Q%  1511   E " " II+Xf?Cjj>O>O>QR>QdT%%d+T1>QR :""n$ ?A ?EU  W:`B Ss" h$h!h ) rurjrlrxrwrnryr|rhrsrgrvrt)Fr)NN)Tr?)TFrUrz)NTF)FFNNF)6__name__ __module__ __qualname____firstlineno__rrrrrrrrrr$r:rCr"rr rvrTrr{rrIrr staticmethodrirrrrr%r(r+r0r9r<r@rDrXrfrpr~rrrrrrr__static_attributes__ __classcell__)rs@r9rRrR}sx.R`   (T&B&$P2:BHW K'R#.BH*;; x(k)kZ1((:3((--)Vx()8  4JSAA'F%N  !D9vD &2" H x(z )z r<rR)H__doc__ __future__rr collectionsrr functoolsrloggingrrtypingrr r auxlib.decoratorsr base.constantsr rr base.contextr common.compatr common.iorrcommon.iteratorsrro common.logicrrrrrrcommon.toposortr deprecationsr exceptionsrrrr models.channelr! models.enumsr"r#models.match_specr%models.recordsr&models.versionr'collections.abcr(rr?constant UnsatisfiablePYCOSAT PYCRYPTOSATPYSATr>rFrPrRrr<r9r(s #*$ !,RR!!.8&$ $1()((     > # /]!2; *9*A*A""J"X X r<