gLtddlmZddlmZddlmZmZmZmZddl Z ddl m Z Gdd eZ Gd d eZ y) )inf)List)LpSolver LpSolver_CMD subprocessPulpSolverErrorN) 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 P/var/www/dash_apps/app1/venv/lib/python3.12/site-packages/pulp/apis/highs_api.pyrzHiGHS_CMD.__init__.s66   c$|jdS)Nhighs)executableExtensionrs r defaultPathzHiGHS_CMD.defaultPathXs''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-|dddt/j0| dd!} | j3d"k(rtd#|jzt)|d$5}|j5}dddDcgc] }|j7j9"}}|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"}|j=d/k(r!t>j@t>jB}}n|j=d0k(r!t>j@t>jD}}n|j=d1k(r!t>jFt>jH}}nT|j=d2k(r!t>jJt>jL}}n t>jNt>jP}}tRjjU|r"tSjV|jXd(k(rt>jP}d}nE|t>jPt>jHt>jLhvrd}n|j[|}|j]||||||j_|||t>j@k(r|ja||S#1swYxYw#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)1r'rr checkDuplicateVarscreate_tmp_filesrwriteMPSappendr rr optionsDictrrgetwritesoliterrnext startswithopenwritejoinrPopenwait readlinesstripsplitlenlowerr LpStatusOptimalLpSolutionOptimalLpSolutionIntegerFeasibleLpStatusInfeasibleLpSolutionInfeasibleLpStatusUnboundedLpSolutionUnboundedLpStatusNotSolvedLpSolutionNoSolutionFoundosexistsstatst_sizereadsoldelete_tmp_files assignStatusassignVarsVals)rlptmpMpstmpSol tmpOptionstmpLogtmpMst file_optionshighs_log_filecommandroption options_fileprocesslog_filelinesline model_line model_statussol_line sol_statusr: 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))  .# & )(&&(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)rMrR enumeraterLr rTfloat) rrrrubeginendindexrvr|rvalues rrdzHiGHS_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.availableDsrc8|jjyN) solverModelrun)rrhs r callSolverzHiGHS.callSolverGs 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_VALUEsetLogCallbacksetOptionValuerrrrrrGitems)rrhrkeyrs rcreateAndConfigureSolverzHiGHS.createAndConfigureSolverJs;$]]_BNxxD.. $ 2 2!**007 .--}=88--mUC{{&--mT[[I{{&--mT[[I||'--iF~~)--lE$..-(["a'YY ,-)- 01Q6,.\G,/1J,K)G\%%'%%'%%JSDB:C2L  -sG#c@|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}|jED]}||jF|_$|tKtLk(r:||j:|j<fvr tjtjfS||Sr)'rgetModelStatusgetObjectiveValue getSolutionrHighsModelStatuskNotsetr r^r_ kLoadError kModelErrorkPresolveError kSolveErrorkPostsolveError kModelEmptykOptimalrWrX kInfeasiblerZr[kUnboundedOrInfeasible kUnboundedr\r]kObjectiveBoundrYkObjectiveTarget kTimeLimitkIterationLimitkUnknownlist col_valuerrrrr) rrhr: obj_valuesolutionr status_dict col_valuesrs rfindSolutionValueszHiGHS.findSolutionValuessd^^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,{AKFh001J||~ 5)#))4  5E#J&6 ++ 006,!22I4W4WWW"6**rc<|j||j||j||j|\}}|j D] }d|_ |j jD] }d|_ |j|||S)NF) rrrrrmodifiedrr|modifierrf)rrhr:rzrrs rr}zHiGHS.actualSolves  ) )" -  ! !" % OOB !%!8!8!< FJ||~ %$  %!nn335 , &+ # , OOFJ /Mrc td)Nz!HiGHS: Resolving is not supportedr )rrhkwargss r actualResolvezHiGHS.actualResolves!"EF Frcy)r&Frr#s rr(zHiGHS.availablesrctd)r*zHiGHS: Not Availabler)rrhcallbacks rr}zHiGHS.actualSolves!"89 9r)TTNNNNNr)rrrrrrrrr(rrrrr}r __classcell__)rs@rr-r-s| DlG "$ #8  ! ::+ ZV +p " GQ:  : :s 8 Ar-)mathrtypingrcorerrrr r`rr r r-rrrrs::EE e ePoGHoGr