simplifyinequalities
in cons_linear.cSCIP_MAXSTRLEN
amount of characters in all message.c functionslp/lexdualalgo
)lazy bounds
, which are useful for column generation: see Further remarks pricer remarks
for an explanation. Each variable has now two additional SCIP_Real
parameter which define a lazy lower and upper bound; lazy means that there exists constraints which implies these (lazy) bounds. If the lazy lower or upper bound is greater or less than the local lower or upper bound, respectively, then the corresponding bound is not put into the LP. The bounds are set to minus and plus infinity per default which yields the same behavior as before. With the methods SCIPchgVarLbLazy() and SCIPchgVarUbLazy() these bounds can be set. This is of interest if SCIP gets used as a branch-and-price framework. Attention! The lazy bounds need to be valid for each feasible LP solution. If the objective function implies bounds on the variables for each optimal LP solution, but these bounds may be violated for arbitrary LP solutions, these bounds must not be declared lazy!early branching
-functionality added: in a branch-and-price code, the user can stop pricing at a node although there may exist variables with negative reduced costs. In this case, the lp-lowerbound will not be used. The pricer has, however, the option to return a lower bound. This can be useful for column generation.SCIP_HEURTIMING_DURINGPRICINGLOOP
, for calling heuristics; If this timing point is used the corresponding heuristics is called during the pricing loop of variables; we also added this timing point to heur_simplerounding.{h,c} which has the effect that a LP solution which satisfies all integrality conditions during the pricing loop is detectedETA
from standard soplex update Forrest-Tomlin
in lpi_spx.cppand
-constraintsglobal
arrays instead of using BMSclearMemory... functions for cleaning local arrays each timeextern
C`` is needed anymore.pricers
has two new parameters:result
pointer determines whether the pricer guarantees that there exist no more variables. This allows for early branching.constraint handlers
have two new callback methods (see type_cons.h for more details):mksetcoefsvalid
and sol
. The parameter mksetcoefsvalid
stores whether the coefficients of the mixed knapsack set (mksetcoefs
) computed in SCIPlpCalcMIR() are valid. If the mixed knapsack constraint obtained after aggregating LP rows is empty or contains too many nonzero elements the generation of the c-MIR cut is aborted in SCIPlpCalcMIR() and mksetcoefs
is not valid. The input parameter sol
can be used to separate a solution different from the LP solution.set
in SCIPconsSetInitial().sol
. It can be used to obtain the closest variable bound w.r.t. a solution different from the LP solution.lowerbound
and result
in type_pricer.h: lowerbound can save a lower bound computed by the pricer, result indicates whether the pricer guarantees that there exist no more variables if no variable was foundfive
array; now it possible to used this template to sort up to five arraysconstraints/and/initiallp
since it is not needed anymore;constraints/and/sepafreq
default value to 1b
branching/relpscost/advanced/conflenscore
, default value 0.001constraints/and/aggrlinearization
in cons_and.c, aggregated version of the linearizationconstraints/and/enforcecuts
in cons_and.c, should cuts be separated during LP enforcing?constraints/and/presolusehashing
in cons_and.c, should pairwise presolving use hashing?, default TRUEconstraints/countsols/sollimit
in cons_countsols.c, counting stops, if the given number of solutions were found (-1: no limit)constraints/xor/presolusehashing
in cons_xor.c, should pairwise presolving use hashing?, default TRUEheuristics/oneopt/duringroot
, default value TRUEIPOPT=true
is setwarning: dereferencing type-punned pointer will break strict-aliasing rules
which resuts in scip-crashes with gcc version 4.4.0GGT-Kaibel-Bug
in var.c, prop_pseudoobj.c and cons_varbound.c that occured while computing new values using infinity valuesSCIP_STATUS_GAPLIMIT
C
) and cpp-files(removed unnecessary extern C
lines)..
The current parameter setting might cause ...