khMYpddlmZmZmZmZmZmZddlmZddl Z ddl Z GddeZ Gdd eZ e Z y) ) LpSolver_CMDLpSolver subprocessPulpSolverErrorclocklog) constantsNcdeZdZdZdZ d dZdZdZdZdZ e dZ d Z y) CPLEX_CMDzThe CPLEX LP solverNcJtj||||||| | || || || 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 :param float maxMemory: max memory to use during the solving. Stops the solving when reached. :param int maxNodes: max number of nodes during branching. Stops the solving when reached. ) gapRelmipmsg timeLimitoptions maxMemorymaxNodes warmStartpath keepFilesthreadsgapAbslogPathN)r__init__)selfrrrrrrrrrrrrrs y/var/www/html/SchoolMeal/SchoolMeal/pds_admin_SchoolMeal/Backend/venv/lib/python3.12/site-packages/pulp/apis/cplex_api.pyrzCPLEX_CMD.__init__ s<>   c$|jdS)Ncplex)executableExtensionrs r defaultPathzCPLEX_CMD.defaultPath<s''00rc8|j|jS)True if the solver is available) executablerr#s r availablezCPLEX_CMD.available?styy))rcl|j|jstd|jz|j|jddd\}}}|j |d} t j||jsNtj|jtjtjtj}n/tj|jtj}d |zd z}|jjd d r#|j|| |d |zd zz }|dz }|j|dt!|jzd zz }|j"|j%z}|D] } || d zz } |j'r|j(r |dz }|dz }n|dz }|dz }|d|zd zz }|dz }|j+d}|j-||j.dk7rtd|jzt jj1|st2j4} dx} x} x} x}}n|j7|\} } } } }}|j9||||jjddk7r|j9d| t2j4k7rD|j;| |j=| |j?| |jA||jC| || S#YxYw)"Solve a well formulated lp problemzPuLP: cannot execute lpsolmstr)writeSOS)stdinstdoutstderr)r/zread  rF)filenamevszset advance 1 Nzset timelimit zmipopt zchange problem fixed zchange problem lp z optimize zwrite zquit zUTF-8r z$PuLP: Error while trying to execute rz cplex.log)"r'rrcreate_tmp_filesnamewriteLPosremoverrPopenPIPE optionsDictgetwritesolrstrr getOptionsisMIPrencode communicate returncodeexistsr LpStatusInfeasiblereadsoldelete_tmp_filesassignVarsVals assignVarsDj assignConsPiassignConsSlack assignStatus)rr+tmpLptmpSoltmpMstr4r! cplex_cmdsroptionstatusvalues reducedCosts shadowPricesslacks solStatuss r actualSolvezCPLEX_CMD.actualSolveCstyy)!"9DII"EF F $ 5 5bggtUE Rvv ZZZ *  IIf xx$$  oo!! E$$TYYjooFEu_t+      U 3 MM6bM 1 'F*T1 1J + +J >> % *S-@@4G GJ,,!22 (F &4- 'J ( 88:xxj( 66 33 l" h'$.. h &&w/  *%   q !"H499"TU Uww~~f%11FHL LF L\ LL L6I V$  eVV4      *k 9  ! !+ . Y11 1   f % OOL ) OOL )   v &  * q  s *L..L3ctdddddd}|jDcgc]@\}}||jvr-|j||j|j|Bc}}Scc}}w)Nzset logFile {}zset mip tolerances mipgap {}zset mip tolerances absmipgap {}zset mip limits treememory {}zset threads {}zset mip limits nodes {})rrrrrr)dictitemsr<format)r params_eqkvs rr@zCPLEX_CMD.getOptionss$144$.  ") 1D$$$)9)9!)<)H HHT%%a( )   sAA.c   ddlmcm}|j |j }|jd}|jd}|jd}tjtjtjtjtjtjtjtjd}||vrtdj||||}tjtjtjtjtjtjd}|j|} i} i} |jd } | D]R} | jd }| jd }| jd } t|| |<t|| |<Ti}i}|jd D]R}|jd }|jd}t|||<|jd} t|||<T|||| | | fS#t$r ddlm}YOwxYw#t$rd| |<YwxYw#t$rd||<YwxYw)zRead a CPLEX solution filer NheadersolutionStatusStringsolutionStatusValue)1101102104105107109113z;Unknown status returned by CPLEX: code: '{}', string: '{}')rhrirjrk111rllinearConstraintsr6slackdual variablesvalue reducedCost)xml.etree.ElementTreeetree ElementTree ImportErrorelementtree.ElementTreeparsegetrootfindr=r LpStatusOptimalrr]LpSolutionIntegerFeasiblefloat TypeError)r3et solutionXMLsolutionheader statusString statusValue cplexStatusrScplexSolStatusrXrVrW constraints constraintr6ro shadowPricerTrUvariablerrrss rrGzCPLEX_CMD.readsolsx 1 . .hhx(002 $))(3%))*@A $(()>? **,,,,,,,,,,,,,,   k )!NUU  [)666666666666  #&&{3  !&&':; % (J>>&)DNN7+E$..0K *%*;%7 T"!|j|}|j|d d y #t$r ddlm}YwxYwcc}w)zWrites a CPLEX solution filer N CPLEXSolutionz1.2)versionrb)attribrq)r6rrindexrzutf-8T)encodingxml_declaration) rtrurvrwrxElementr[ SubElementrrr6 enumerater?write)rr3r4rroot attrib_headattrib_qualityrqr`rTrr6rr attrib_varsr-s rr>zCPLEX_CMD.writesols 1 . .zz/5z9f  dH[ 9 dH^ <MM$ 4 /1K!QWWY5J1661779%KK$-f$5 E E=D%DE #e*MK MM)Z M D EnnT" (Wd C! 1 0 0 1Ls D0D,D,D)(D)) TTNNNNFFNNNNN) __name__ __module__ __qualname____doc__r6rr$r(rYr@ staticmethodrGr>rrr r sm D   . `1*@D "AMAMFrr ceZdZdZdZ ddla ddZdZddZdZ dZ dd Z dd Z dd Z d Zd ZdZy#e$rZeZ dZdZYdZ[ydZ[wwxYw)CPLEX_PYz The CPLEX LP/MIP solver (via a Python Binding) This solver wraps the python api of cplex. It has been tested against cplex 12.3. For api functions that have not been wrapped in this solver please use the base cplex classes r Nc >tj||||||||y)aO :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 int threads: number of threads to be used by CPLEX to solve a problem (default None uses all available) )rrrrrrrN)rr)rrrrrrrrs rrzCPLEX_PY.__init__ s*(   ## rcy)r&Trr#s rr(zCPLEX_PY.available,src|j|tjd|j||j |}|j D] }d|_ |jjD] }d|_ |S)z Solve a well formulated lp problem creates a cplex model, variables and constraints and attaches them to the lp model which it then solves zSolve the Model using cplexF) buildSolverModelrdebug callSolverfindSolutionValues _variablesmodifiedrrT)rr+callbacksolutionStatusvarrs rrYzCPLEX_PY.actualSolve0s  ! !" % II3 4 OOB !44R8N}} %$  % nn335 , &+ # ,! !rc  |j}|Dcic]}|j|c}|_t|jt|k7r t dt j dtjx|_ |_ t j d|js%|jj|jt j d|jtjk(rM|jjj!|jjjj"|j t d|Dcgc]'}t%|jj'|d)}}d}|Dcgc] }|| }}d }|Dcgc] }|| }}|Dcgc]}|j} }d } |Dcgc] }| | } }d j)| } |jjj+|||| | g} g} g}t-|j.j1}|j.j3D]B}t|d k(r| j5ggfn`|j1Dcgc]}|j}}|j3Dcgc] }t%|}}| j5||f|jtj6k(r| j5dni|jtj8k(r| j5dn:|jtj:k(r| j5dn t d|j5t%|j< E|jj>j+| | ||t j d|js=|jjAtjjBjDt j d|jFs|jId|jJj'd}|<|jFrtMjNd|jItQ|d|jJj'd}||jS||jT|jW|jT|jY|jJj'dd|jJj'ddr|jjZj\j^}|jjaDcgc](\}}|jc||jcf*}}}|stMjNdyte|\}}|jjZj+tjg|||dyycc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}}w)zV Takes the pulp lp model and translates it into a cplex model z1Variables must have unique names for cplex solverzcreate the cplex modelzset the name of the problemzset the sense of the problemNzNo objective setcf|jt|jStj SN)lowBoundr~r!infinityrs r cplex_var_lbz/CPLEX_PY.buildSolverModel..cplex_var_lb[s'<<+ ..!NN?*rcd|jt|jStjSr)upBoundr~r!rrs r cplex_var_ubz/CPLEX_PY.buildSolverModel..cplex_var_ubcs%;;* -- >>)rc@|jtjk(ryy)NIC)catr LpIntegerrs rcplex_var_typesz2CPLEX_PY.buildSolverModel..cplex_var_typesls77i111r)objlbubtypesnamesr LGEz#Detected an invalid constraint type)lin_exprsensesrhsrzset the type of the problemzset the loggingrzS`logPath` argument replaces `msg=1`. The output will be redirected to the log file.wrrrFz.No variable with value found: mipStart aborted)indvalre)4rqr6n2vlenrrrr!Cplex solverModelrset_problem_namesenser LpMaximize objective set_sensemaximizer~r=joinaddlistrkeysrTappendLpConstraintLELpConstraintGELpConstraintEQconstantlinear_constraintsset_problem_type problem_typeLPr setlogfiler<warningswarnopen changeEpgapr setTimeLimit setThreads MIP_starts effort_levelautor\rrzip SparsePair)rr+model_variablesrrrrrrcolnamesrctyperowsrrrownamesrexpr1coeffexpr2rreffortr_r`startrrs rrzCPLEX_PY.buildSolverModelCs5!llnO1@A## ADH488}O 44%G II. /05 =D r~ II3 488  11"'': II4 5xx9///((22NN,,22;;||#%&899@OP5))#s34PCP + 0??,s#?B? * 0??,s#?B?,;tj<i}|j9|j6}|jA|||jBDcgc]}|jD}}|jFDcgc]}|} } |jjjI} tKtM||jjjO|} |jQ| tKtM| |jjjS| } |jU| |jjWtXjZj\j^k(rtKtM||jjja|} |jc| tKtM| |jjje| }|jg||jlrtod|j6d|_8|jBD] }d|_9 |Scc}wcc}w#tXjhjj$rYlwxYw)Nz Cplex status=TF):rsolutionrS MIP_optimalr r|optimaloptimal_tolerance infeasiblerFinfeasible_or_unboundedMIP_infeasibleMIP_infeasible_or_unbounded unboundedLpStatusUnbounded MIP_unboundedabort_dual_obj_limitLpStatusNotSolvedabort_iteration_limitabort_obj_limit abort_relaxedabort_time_limit abort_userMIP_abort_feasibleMIP_time_limit_feasibleMIP_time_limit_infeasible get_status cplex_statusr=LpStatusUndefinedr} MIP_feasiblerMrr6rget_objective_valuer[r get_valuesrIget_linear_slacksrLget_problem_typer!rrrget_reduced_costsrJget_dual_valuesrK exceptionsCplexSolverErrorrprint resolveOK isModified)rr+ CplexLpStatusrSCplexSolStatus sol_statusr var_namescon con_namesobjectiveValuevariablevaluesconstraintslackvaluesvariabledjvaluesconstraintpivaluess rrzCPLEX_PY.findSolutionValuessc''..::IY>Y''..CCYE`E`''..DDiFaFa''..>> @[@[''..<Y>Y''..??A\A\''..999;V;V ''..AA9C\C\!"''..FF HaHa#$''..HH)JfJf%M(!nn55@@BBO"&&r 8S8STF''..FF HkHk''..AA9CfCf''..;;Y=`=`N (++BOO>#:#:#E#Ei#PQ"!!.1(, 2>>#:#:#L#LY#WX)%""#89>>224 8P8P8S8SS'+%NN33EEiP($ OO$45)-%NN33CCIN*& OO$67 xxor7BL}} '!& 'MK<74##44  s>\7! \<-F]]! ]!c td)zV looks at which variables have been modified and changes them z(Resolves in CPLEX_PY not yet implemented)NotImplementedError)rr+kwargss r actualResolvezCPLEX_PY.actualResolves&&PQ Qrcy)r&Frr#s rr(zCPLEX_PY.availablesrc2td|j)r*zCPLEX_PY: Not Available: )rerr)rr+s rrYzCPLEX_PY.actualSolves!$>txxj"IJ Jr)TTNNFNNr)g-C6?)r)rrrrr6r!rr(rYrrrrrrrr@ ExceptionerCrrrrrs DaR" >  "&l \ 9 B  I  A  &D L Ru  KK  K Ks<A AAr)corerrrrrrrr r8rr rCPLEXrrrrHs;QQ g gTlRxlR^ r