khOxddlmZddlmZddlmZmZmZddlZddl Z ddl m Z Gdd eZ Gd d eZ y) )inf)List)LpSolver LpSolver_CMDPulpSolverErrorN) constantscjeZdZUdZdZeed<dZeed< d dZ dZ dZ d Z d Z d Zy) HiGHS_CMDzThe HiGHS_CMD solvernamerSOLUTION_STYLENc Ftj|||||||||| | |  y)a :param bool mip: if False, assume LP even if integer variables :param bool msg: if False, no log is shown :param float timeLimit: maximum time for solver (in seconds) :param float gapRel: relative gap tolerance for the solver to stop (in fraction) :param float gapAbs: absolute gap tolerance for the solver to stop :param list[str] options: list of additional options to pass to solver :param bool keepFiles: if True, files are saved in the current directory and not deleted after solving :param str path: path to the solver binary (you can get binaries for your platform from https://github.com/JuliaBinaryWrappers/HiGHS_jll.jl/releases, or else compile from source - https://highs.dev) :param int threads: sets the maximum number of threads :param str logPath: path to the log file :param bool warmStart: if True, the solver will use the current value of variables as a start ) mipmsg timeLimitgapRelgapAbsoptionspath keepFilesthreadslogPath warmStartN)r__init__) selfrrrrrrrrrrrs y/var/www/html/SchoolMeal/SchoolMeal/pds_admin_SchoolMeal/Backend/venv/lib/python3.12/site-packages/pulp/apis/highs_api.pyrzHiGHS_CMD.__init__/s66   c$|jdS)Nhighs)executableExtensionrs r defaultPathzHiGHS_CMD.defaultPathYs''00rc8|j|jS)True if the solver is available) executablerr"s r availablezHiGHS_CMD.available\styy))rc |j|jstd|jz|j|j |j ddddd\}}}}}|j |dg}|jd ||jd |jd tj|js|jd d |jvr!|jd|jd d|jvr!|jd|jdd|jvr!|jd|jdd|jvr|jd}n|}|jd|g} | j|j| j|| jd||j| jd|j|js| jdd |jvr| jd|jjddr&|j||| jd|t!|j"} | D]K} d| vr| dt%| z } | j'dr| j| ;|j| Mt)|d5} | j+d j-|ddd|j/} t1j2| | | !}|j5d"k(rtd#|jz| | j7t)|d$5}|j9}dddDcgc] }|j;j="}}|Dcgc]}|dd%d&d'gk(s|}}t?|d(kDrd)j-|d(d*d}n,|Dcgc] }d+|vs| c}d(}d)j-|d,d}|Dcgc]}|dd%d-d'gk(s|}}t?|d(kDr|d(nd.g}|d"}|jAd/k(r!tBjDtBjF}}n|jAd0k(r!tBjDtBjH}}n|jAd1k(r!tBjJtBjL}}nT|jAd2k(r!tBjNtBjP}}n tBjRtBjT}}tVjjY|r"tWjZ|j\d(k(rtBjT}d}nE|tBjTtBjLtBjPhvrd}n|j_|}|ja||||||jc|||tBjDk(r|je||S#1swY6xYw#1swYxYwcc}wcc}wcc}wcc}w)3"Solve a well formulated lp problemzPuLP: cannot execute mpssolHiGHS HiGHS_logmstT) with_objsensezsolution_file=zwrite_solution_to_file=truezwrite_solution_style=zlog_to_console=falserzthreads=rz mip_rel_gap=rz mip_abs_gap=rz log_file=z--options_file=Nz --time_limit=z--solver=simplexz --parallel=onrFz--read_solution_file==-w )stdoutstderrz@Pulp: Error while executing HiGHS, use msg=True for more detailsrr Modelstatusr StatusrSolutionz Not solvedoptimalfeasible infeasible unbounded)3r&rrcheckDuplicateVarscreate_tmp_filesr writeMPSappendr rr optionsDictrrgetwritesoliterrnext startswithopenwritejoinget_pipe subprocessPopenwaitclose readlinesstripsplitlenlowerr LpStatusOptimalLpSolutionOptimalLpSolutionIntegerFeasibleLpStatusInfeasibleLpSolutionInfeasibleLpStatusUnboundedLpSolutionUnboundedLpStatusNotSolvedLpSolutionNoSolutionFoundosexistsstatst_sizereadsoldelete_tmp_files assignStatusassignVarsVals)rlptmpMpstmpSol tmpOptionstmpLogtmpMst file_optionshighs_log_filecommandroption options_filepipeprocesslog_filelinesline model_line model_statussol_line sol_statusr9 status_solvaluess r actualSolvezHiGHS_CMD.actualSolve`styy)!"9DII"EF F 595J5J GGUE7K6 2 FF F$ /"$ nVH569:3I4L4L3MNOxx    6 7 (( (   (4+;+;I+F*G H I t'' '   ,t/?/?/I.J K L t'' '   ,t/?/?/I.J K L (( (!--i8N#Ni'789tyy!v 56 >> % NN]4>>*:; <xx NN- . (( ( NN? +      U 3 MM&" % NN26(; <t||$ ,F& Ad7m_--  %v&##F+ ,*c " 8l   tyy6 7 8}}""74E <<>R !R))    JJL .# & )(&&(E )278$##%88(-PtRaWh DC  CHH:Qs||/@q.A!B C D    &  ]+, -   & (C  ,D JJtyy* + , , ,s 8!B""B+clt|5}|j}dddd\}}tD]4\}}||jdr|dz}|!|jds3|}6|| t di}|||D]#}|j \} } t | || <%|S#1swYxYw)zRead a HiGHS solution fileN)NNz # Columnsrz# RowszCannot read HiGHS solver output)rLrT enumeraterKrrVfloat) rrrrxbeginendindexryrr values rrfzHiGHS_CMD.readsols (^ %tNN$E % s$U+ KE4}!= {tx8   =CK!"CD D%$ (D**,KD% zHiGHS.'s % ~Rx (C rrc dt |d|||d|||_||_||_||_y)a :param bool mip: if False, assume LP even if integer variables :param bool msg: if False, no log is shown :param tuple callbackTuple: Tuple of log callback function (see DEFAULT_CALLBACK above for definition) and callbackValue (tag embedded in every callback) :param float gapRel: relative gap tolerance for the solver to stop (in fraction) :param float gapAbs: absolute gap tolerance for the solver to stop :param int threads: sets the maximum number of threads :param float timeLimit: maximum time for solver (in seconds) :param dict solverParams: list of named options to pass directly to the HiGHS solver )rrrNr)superr callbackTuplerrr) rrrrrrrr solverParams __class__s rrzHiGHS.__init__,s;, G  S# Sl S!.D  DK DK"DLrcy)NTrr"s rr'zHiGHS.availableHsrc8|jjyN) solverModelrun)rrjs r callSolverzHiGHS.callSolverKs NN   rcbtj|_|jrS|jrG|jxs t j t jf}|jj||js|jjdd|j&|jjd|j|j&|jjd|j|j&|jjd|j|j/|jjdt|j|jj!D]!\}}|jj||#y)N output_flagF mip_rel_gap mip_abs_gapr time_limit)highspyHighsrrrr,DEFAULT_CALLBACKDEFAULT_CALLBACK_VALUEsetLogCallbacksetOptionValuerrrrrrFitems)rrjrkeyrs rcreateAndConfigureSolverzHiGHS.createAndConfigureSolverNs;$]]_BNxxD.. $ 2 2!**007 .--}=88--mUC{{&--mT[[I{{&--mT[[I||'--iF~~)--lE$..>+@+@+B!C  :-7,<,<,>-(["a'YY ,-)- 01Q6,.\G,/1J,K)G\#$  %%'%%'%%JSDB:C2L ! -sG6c |jj}|jj}|jj}tj }i|j tjtjf|jtjtjf|jtjtjf|jtjtjf|jtjtjf|jtjtjf|jtjtjf|j tj"tj$f|j&tj(tj*f|j,tj(tj*f|j.tj0tj2f|j4tj"tj6f|j8tj"tj6f|j:tj"tj6f|j<tj"tj6f|j>tjtjf}tA|jB}tA|jD}|jG} | D]*} || jH| _%|| jH| _&,tA|jNjQ} tA|jR} tA|jT} | D]i}|jV| |jHz|_,|jZtj\k(r|xjXdzc_,| |jH|_/k|tatbk(r:||j:|j<fvr tjtjfS||S)Ng)2rgetModelStatusgetObjectiveValue getSolutionrHighsModelStatuskNotsetr r`ra kLoadError kModelErrorkPresolveError kSolveErrorkPostsolveError kModelEmptykOptimalrYrZ kInfeasibler\r]kUnboundedOrInfeasible kUnboundedr^r_kObjectiveBoundr[kObjectiveTarget kTimeLimitkIterationLimitkUnknownlist col_valuecol_dualrrrdjrr row_valuerow_dualconstantslackrLpConstraintLEpirr)rrjr9 obj_valuesolutionr status_dict col_values col_duals lp_variablesrconstraints_list row_values row_dualsrs rfindSolutionValueszHiGHS.findSolutionValuess0^^224F88:I~~113H&77 A ((//77+A !++//77. A!,,//77/A!////772A"!,,//77/#A*!00//773+A2!,,//77/3A:!))--//,;AB!,,0022/CAJ!770022:KAR!++//11.SAZ!00--773[Ab!11--774cAj!++--77.kAr!00--773sAz!))//77,{AKFh001JX../I<<>L# .)#))4 "399- . $BNN$9$9$;< h001JX../I. < $.#6#6JDTDT9U#U  ##y'?'??$$,$ )**:*: ;  <E#J&6 ++ 006, //77 #6**rc<|j||j||j||j|\}}|j D] }d|_ |j jD] }d|_ |j|||S)NF) rrrrrmodifiedrrmodifierrh)rrjr9r}rrs rrzHiGHS.actualSolves  ) )" -  ! !" % OOB !%!8!8!< FJ||~ %$  %!nn335 , &+ # , OOFJ /Mrc td)Nz!HiGHS: Resolving is not supportedr)rrjkwargss r actualResolvezHiGHS.actualResolves!"EF Frcy)r%Frr"s rr'zHiGHS.availablesrctd)r)zHiGHS: Not Availabler)rrjcallbacks rrzHiGHS.actualSolves!"89 9r)TTNNNNNr)rrrr rrrrr'rrrrrr __classcell__)rs@rr,r,s| D@G "$ #8  ! ::- ^h +T " Gy:  : :s 8 Ar,)mathrtypingrcorerrrrPrbrr r r,rrrrs=:99 h hVCGHCGr