khpTddlmZddlmZmZmZmZmZmZddl Z ddl Z ddl m Z ddl mZerddl mZddlZdaGd d eZGd d eZy) ) annotations) LpSolver_CMDLpSolver subprocessPulpSolverErrorclocklogN) constants) TYPE_CHECKING) LpProblemceZdZdZdZdZ ddla ddZdZ dZ dZ dZ d Z dd Zd Zdd Zdd Zy#dZ ddZYyxYw)GUROBIz The Gurobi LP/MIP solver (via its python interface) The Gurobi variables are available (after a solve) in var.solverVar Constraints in constraint.solverConstraint and the Model is in prob.solverModel Nrc B||_|r|ni|_|jdn| |_| |_d|_d|_t j||||||||js;|jrd|jd<yd|jd<d|jd<yy)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 bool warmStart: if True, the solver will use the current value of variables as a start :param str logPath: path to the log file :param gp.Env env: Gurobi environment to use. Default None. :param dict envOptions: environment options. :param bool manageEnv: if False, assume the environment is handled by the user. If ``manageEnv`` is set to True, the ``GUROBI`` object creates a local Gurobi environment and manages all associated Gurobi resources. Importantly, this enables Gurobi licenses to be freed and connections terminated when the ``.close()`` function is called (this function always disposes of the Gurobi model, and the environment):: solver = GUROBI(manageEnv=True) prob.solve(solver) solver.close() # Must be called to free Gurobi resources. # All Gurobi models and environments are freed ``manageEnv=True`` is required when setting license or connection parameters. The ``envOptions`` argument is used to pass parameters to the Gurobi environment. For example, to connect to a Gurobi Cluster Manager:: options = { "CSManager": "", "CSAPIAccessID": "", "CSAPISecret": "", } solver = GUROBI(manageEnv=True, envOptions=options) solver.close() # Compute server connection terminated Alternatively, one can also pass a ``gp.Env`` object. In this case, to be safe, one should still call ``.close()`` to dispose of the model:: with gp.Env(params=options) as env: # Pass environment as a parameter solver = GUROBI(env=env) prob.solve(solver) solver.close() # Still call `close` as this disposes the model which is required to correctly free env If ``manageEnv`` is set to False (the default), the ``GUROBI`` object uses the global default Gurobi environment which will be freed once the object is deleted. In this case, one can still call ``.close()`` to dispose of the model:: solver = GUROBI() prob.solve(solver) # The global default environment and model remain active solver.close() # Only the global default environment remains active NF)mipmsg timeLimitgapRellogPath warmStartr OutputFlag) env env_options manage_env solver_paramsmodel init_gurobir__init__r) selfrrrrrrr envOptions manageEnv solverParamss z/var/www/html/SchoolMeal/SchoolMeal/pds_admin_SchoolMeal/Backend/venv/lib/python3.12/site-packages/pulp/apis/gurobi_api.pyrzGUROBI.__init__FsRDH-7zRD '+xx';eDO!-D DJ$D    ## 88??56D$$\256D$$\278D&&|4 c$|jyN)closer s r$__del__zGUROBI.__del__s JJLr%c|jsy|jj|jr|jjyy)z Must be called when internal Gurobi model and/or environment requires disposing. The environment (default or otherwise) will be disposed only if ``manageEnv`` is set to True. N)rrdisposerrr)s r$r(z GUROBI.closes< ## JJ     "r%cZ|j}|j}tj}|jt j |jt j|jt j|jt j|jt j|jt j|jt j|j t j|j"t j|j$t ji }|j&r t)d|d|_|j,D] }d|_ |j1|t j2}|j5||j6dk\rt9|j,|j;|j<j>|jAD] \}}||_!t9|jDjG|j;|j<jH|jKD] \} }|| _&|jNst9|j,|j;|j<jP|jAD] \}}||_)t9|jDjG|j;|j<jT|jKD] \} }|| _+|S)NzGurobi status=TFr), solverModelStatusgpGRBOPTIMALr LpStatusOptimal INFEASIBLELpStatusInfeasible INF_OR_UNBD UNBOUNDEDLpStatusUnboundedITERATION_LIMITLpStatusNotSolved NODE_LIMIT TIME_LIMITSOLUTION_LIMIT INTERRUPTEDNUMERICrprint resolveOK _variables isModifiedgetLpStatusUndefined assignStatusSolCountzipgetAttrAttrXgetVarsvarValue constraintsvaluesSlack getConstrsslackIsMIPRCdjPipi) r lprsolutionStatusr1gurobiLpStatusvarstatusvalueconstrs r$findSolutionValueszGUROBI.findSolutionValuess_NNE"\\N&&C Y66 < <!=!= y::##Y%@%@ ; ; ; ;""I$?$?!>  qc34 s) 9-9699A/ A**A/c|jryd|_ |jrKtj|j|_tj |j |_n%tj |j |_|jjD]!\}}|jj||#y#tj$r}|d}~wwxYw)NTrb)r) rrr0rfrrModelrritemssetParamrg)r paramr]rjs r$ initGurobizGUROBI.initGurobis#'  ??!vvT-=-=v>DH!#dhh!7DJ"$dhh!7DJ$($6$6$<$<$>6LE5JJ''u56>>  sB:CC+$C&&C+ct |_|jj||xjtz c_y)zSolves the problem with gurobicallbackN)r solveTimer.optimizer rXrts r$ callSolverzGUROBI.callSolvers4$gXDN NN # #X # 6 NNeg %Nr%ct tjd|j|j|j_|j|_tjd|jtjk(r|j jdd|jr&|j jd|j|jjd}|jjd}|r|j jd||r|j jd |tjd |j j|j j }|j#D]}|j$}|t&j(j* }|j,}|t&j(j*}|j.j|d }t&j(j0} |j2tj4k(r&|j6rt&j(j8} t;|d r|dk(s|j j=||| ||j|_|jjddr9|j@D]*}|jB|jB|j>_",|j jtjd|jFjID]M\} } t&jKtM| jO| jQD cgc]} | j>c} } | jtjRk(r1|j jU| | jV k| | _,| jtjZk(r1|j jU| | jV k\| | _,| jtj\k(r2|j jU| | jV k(| | _,Et_d|j jy cc} w)zW Takes the pulp lp model and translates it into a gurobi model zcreate the gurobi modelzset the sense of the problem ModelSense TimeLimitrrMIPGapLogFilez add the variables to the problemNg solverVarr)vtypeobjnamerFz"add the Constraints to the problem)rz#Detected an invalid constraint type)0r debugrqrr ModelNamer.senser LpMaximizesetAttrrro optionsDictrDupdateNumVars variableslowBoundr0r1INFINITYupBound objective CONTINUOUScat LpIntegerrINTEGERhasattraddVarrrBrMstartrNrnLinExprlistrOkeysLpConstraintLE addConstrconstantsolverConstraintLpConstraintGELpConstraintEQr)r rXrrnvarsr[rrrvarTyper constraintvexprs r$buildSolverModelzGUROBI.buildSolverModel s II/ 0 OO #%77DJJ !ZZBN II4 5xx9///&&|R8~~'' T^^D%%))(3F&&**95G''&9'' 7; II8 9 NN ! ! #NN**E||~ <<# "/H++? ffooGll&&sC0&&++77i111dhh ffnnGsK0EQJ$&NN$9$9 'c%:%CM  ##K7==;C||/.1ll +; NN ! ! # II: ;$&NN$8$8$: Q jzz**,-Z__EV/W /W##y'?'??24..2J2J!4!4 4443K3J/ %%)A)AA24..2J2J!4!4 4443K3J/ %%)A)AA24..2J2J!4!4 4443K3J/**OPP% Q& NN ! ! #!0Xs R5 c|j|tjd|j|||j |}|j D] }d|_ |jjD] }d|_ |S)z Solve a well formulated lp problem creates a gurobi model, variables and constraints and attaches them to the lp model which it then solves zSolve the Model using gurobirsF) rr rrxr_rBmodifiedrNrO)r rXrtrYr[rs r$ actualSolvezGUROBI.actualSolveRs  ! !" % II4 5 OOBO 2!44R8N}} %$  % nn335 , &+ # ,! !r%ctjd|jjD]X}|js|j j tjjj|j Z|jj|j|||j|}|j D] }d|_ |jjD] }d|_ |S)z Solve a well formulated lp problem uses the old solver and modifies the rhs of the modified constraints zResolve the Model using gurobirsF)r rrNrOrrrr0r1rJRHSrr.rrxr_rB)r rXrtrrYr[s r$ actualResolvezGUROBI.actualResolvees II6 7 nn335  &&//77 **=*=)=  NN ! ! # OOBO 2!44R8N}} %$  % nn335 , &+ # ,! !r%cy)raFr)s r$rkzGUROBI.available<sr%ctd)"Solve a well formulated lp problemzGUROBI: Not Available)rrws r$rzGUROBI.actualSolve@s!"9: :r%) TTNNFNNNFr')__name__ __module__ __qualname____doc__rrgurobipyr0rr*r(r_rkrqrxrrrrr%r$rr*s D CC" a 9F  #0 d  $ &C $J "& "W ;  ;s < ArcXeZdZdZdZ d dZdZdZdZdZ dZ d Z y) GUROBI_CMDzThe GUROBI_CMD solverNc 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 int threads: sets the maximum number of threads :param list options: list of additional options to pass to solver :param bool warmStart: if True, the solver will use the current value of variables as a start :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 :param str logPath: path to the log file ) rrrroptionsrpath keepFilesthreadsgapAbsrN)rr) r rrrrrrrrrrr mip_starts r$rzGUROBI_CMD.__init__s68   r%c$|jdS)N gurobi_cl)executableExtensionr)s r$ defaultPathzGUROBI_CMD.defaultPaths'' 44r%c,|j|jsytj|jtjd}|j \}}|j dk(ry|jrtjd|dy)raFT)stdoutuniversal_newlinesrrdre) executablerrPopenPIPE communicate returncoderrhri)r resultouterrs r$rkzGUROBI_CMD.availablesztyy)!! IIjoo$ %%'S    ! 88 MMN3%q1 2r%c p|j|jstd|jz|j|jddd\}}}|j |d} t j||j}|j|jz}|j|jd|jf|d d j|D cgc] \}} |d | c} }zz }|d |z }|jjd d r|j|||d|z }|j!r!|j"st%j&d|d |z }|j)} t+j,|j/| | } | | j1| dk7rtd|jzt jj3|st4j6} dx} x}x}}n|j9|\} } }}}|j;|||d| t4j<k7rD|j?| |jA||jC||jE||jG| | S#Y0xYwcc} }w)rzPuLP: cannot execute rXsolmstr)writeSOSNr| =z ResultFile=rF)filenamevsz InputFile=z1GUROBI_CMD does not allow a problem to be relaxed)rstderrrz$PuLP: Error while trying to execute z gurobi.log)$rrrcreate_tmp_filesrwriteLPosremover getOptionsrappendjoinrrDwritesolisMIPrrhriget_pipercallsplitr(existsr r:readsoldelete_tmp_filesr5assignVarsVals assignVarsDj assignConsPiassignConsSlackrF)r rXtmpLptmpSoltmpMstrcmdrkeyr]pipe return_coder\rO reducedCosts shadowPricesslackss r$rzGUROBI_CMD.actualSolvesgtyy)!"9DII"EF F $ 5 5bggtUE Rvv ZZZ *  IIf ii,,!22 >> % NNK8 9 sSXX'JJC#aw/JKKK fX&&      U 3 MM6bM 1 [) )C 88:88 QR 5'{}} oociik$tL    JJL ! !"H499"TU Uww~~f%00F<@ @F @\ @L6BFfAU >FFL, eVV\B Y11 1   f % OOL ) OOL )   v &  Q   Ks*J*#J2*J/cbt|5} t|tj }i}i}i}i}i}i}|D],}|ddk7s |j \} } t| || <. dddfS#t$r#tj}|iiiifcYcdddSwxYw#1swY?xYw)zRead a Gurobi solution fileNr#)opennext StopIterationr r:r3rfloat) r rmy_filer\rrrOrlinerr]s r$rzGUROBI_CMD.readsols (^ 0w .W ..FLFLFFL 07c>"&**,KD%#(r sI6#QQ   O"XO"d h h r%