Scippy

SCIP

Solving Constraint Integer Programs

scip Directory Reference

Files

file  bitencode.c [code]
 packing single and dual bit values
 
file  bitencode.h [code]
 packing single and dual bit values
 
file  branch.c [code]
 methods for branching rules and branching candidate storage
 
file  branch.h [code]
 internal methods for branching rules and branching candidate storage
 
file  branch_allfullstrong.c [code]
 all variables full strong LP branching rule
 
file  branch_allfullstrong.h [code]
 all variables full strong LP branching rule
 
file  branch_cloud.c [code]
 cloud branching rule
 
file  branch_cloud.h [code]
 cloud branching rule
 
file  branch_distribution.c [code]
 probability based branching rule based on an article by J. Pryor and J.W. Chinneck
 
file  branch_distribution.h [code]
 probability based branching rule based on an article by J. Pryor and J.W. Chinneck
 
file  branch_fullstrong.c [code]
 full strong LP branching rule
 
file  branch_fullstrong.h [code]
 full strong LP branching rule
 
file  branch_inference.c [code]
 inference history branching rule
 
file  branch_inference.h [code]
 inference history branching rule
 
file  branch_leastinf.c [code]
 least infeasible LP branching rule
 
file  branch_leastinf.h [code]
 least infeasible LP branching rule
 
file  branch_mostinf.c [code]
 most infeasible LP branching rule
 
file  branch_mostinf.h [code]
 most infeasible LP branching rule
 
file  branch_multaggr.c [code]
 fullstrong branching on fractional and multi-aggregated variables
 
file  branch_multaggr.h [code]
 fullstrong branching on fractional and multi-aggregated variables
 
file  branch_nodereopt.c [code]
 branching rule to reconstruct the search tree
 
file  branch_nodereopt.h [code]
 nodereopt branching rule
 
file  branch_pscost.c [code]
 pseudo costs branching rule
 
file  branch_pscost.h [code]
 pseudo costs branching rule
 
file  branch_random.c [code]
 random variable branching rule
 
file  branch_random.h [code]
 random variable branching rule
 
file  branch_relpscost.c [code]
 reliable pseudo costs branching rule
 
file  branch_relpscost.h [code]
 reliable pseudo costs branching rule
 
file  clock.c [code]
 methods for clocks and timing issues
 
file  clock.h [code]
 internal methods for clocks and timing issues
 
file  compr.c [code]
 methods for tree compressions
 
file  compr.h [code]
 internal methods for tree compressions
 
file  compr_largestrepr.c [code]
 largestrepr tree compression
 
file  compr_largestrepr.h [code]
 largestrepr tree compression
 
file  compr_weakcompr.c [code]
 weakcompr tree compression
 
file  compr_weakcompr.h [code]
 weakcompr tree compression
 
file  conflict.c [code]
 methods and datastructures for conflict analysis
 
file  conflict.h [code]
 internal methods for conflict analysis
 
file  cons.c [code]
 methods for constraints and constraint handlers
 
file  cons.h [code]
 internal methods for constraints and constraint handlers
 
file  cons_abspower.c [code]
 Constraint handler for absolute power constraints $\textrm{lhs} \leq \textrm{sign}(x+a) |x+a|^n + c z \leq \textrm{rhs}$.
 
file  cons_abspower.h [code]
 Constraint handler for absolute power constraints $\textrm{lhs} \leq \textrm{sign}(x+a) |x+a|^n + c z \leq \textrm{rhs}$.
 
file  cons_and.c [code]
 Constraint handler for AND-constraints, $r = x_1 \wedge x_2 \wedge \dots \wedge x_n$.
 
file  cons_and.h [code]
 Constraint handler for "and" constraints, $r = x_1 \wedge x_2 \wedge \dots \wedge x_n$.
 
file  cons_bivariate.c [code]
 constraint handler for bivariate nonlinear constraints $\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$
 
file  cons_bivariate.h [code]
 constraint handler for bivariate nonlinear constraints $\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$
 
file  cons_bounddisjunction.c [code]
 constraint handler for bound disjunction constraints $(x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)$
 
file  cons_bounddisjunction.h [code]
 constraint handler for bound disjunction constraints $(x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)$
 
file  cons_conjunction.c [code]
 constraint handler for conjunction constraints
 
file  cons_conjunction.h [code]
 constraint handler for conjunction constraints
 
file  cons_countsols.c [code]
 constraint handler for counting feasible solutions
 
file  cons_countsols.h [code]
 Constraint handler for counting feasible solutions.
 
file  cons_cumulative.c [code]
 constraint handler for cumulative constraints
 
file  cons_cumulative.h [code]
 constraint handler for cumulative constraints
 
file  cons_disjunction.c [code]
 constraint handler for disjunction constraints
 
file  cons_disjunction.h [code]
 constraint handler for disjunction constraints
 
file  cons_indicator.c [code]
 constraint handler for indicator constraints
 
file  cons_indicator.h [code]
 constraint handler for indicator constraints
 
file  cons_integral.c [code]
 constraint handler for the integrality constraint
 
file  cons_integral.h [code]
 constraint handler for the integrality constraint
 
file  cons_knapsack.c [code]
 Constraint handler for knapsack constraints of the form $a^T x \le b$, x binary and $a \ge 0$.
 
file  cons_knapsack.h [code]
 Constraint handler for knapsack constraints of the form $a^T x \le b$, x binary and $a \ge 0$.
 
file  cons_linear.c [code]
 Constraint handler for linear constraints in their most general form, $lhs <= a^T x <= rhs$.
 
file  cons_linear.h [code]
 Constraint handler for linear constraints in their most general form, $lhs <= a^T x <= rhs$.
 
file  cons_linking.c [code]
 constraint handler for linking constraints
 
file  cons_linking.h [code]
 constraint handler for linking binary variables to an integer variable
 
file  cons_logicor.c [code]
 Constraint handler for logic or constraints $1^T x \ge 1$ (equivalent to set covering, but algorithms are suited for depth first search).
 
file  cons_logicor.h [code]
 Constraint handler for logicor constraints $1^T x \ge 1$ (equivalent to set covering, but algorithms are suited for depth first search).
 
file  cons_nonlinear.c [code]
 constraint handler for nonlinear constraints $\textrm{lhs} \leq \sum_{i=1}^n a_ix_i + \sum_{j=1}^m c_jf_j(x) \leq \textrm{rhs}$
 
file  cons_nonlinear.h [code]
 constraint handler for nonlinear constraints $\textrm{lhs} \leq \sum_{i=1}^n a_ix_i + \sum_{j=1}^m c_jf_j(x) \leq \textrm{rhs}$
 
file  cons_or.c [code]
 Constraint handler for "or" constraints, $r = x_1 \vee x_2 \vee \dots \vee x_n$.
 
file  cons_or.h [code]
 Constraint handler for "or" constraints, $r = x_1 \vee x_2 \vee \dots \vee x_n$.
 
file  cons_orbitope.c [code]
 constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group
 
file  cons_orbitope.h [code]
 constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group
 
file  cons_pseudoboolean.c [code]
 constraint handler for pseudo Boolean constraints
 
file  cons_pseudoboolean.h [code]
 constraint handler for pseudoboolean constraints
 
file  cons_quadratic.c [code]
 constraint handler for quadratic constraints $\textrm{lhs} \leq \sum_{i,j=1}^n a_{i,j} x_i x_j + \sum_{i=1}^n b_i x_i \leq \textrm{rhs}$
 
file  cons_quadratic.h [code]
 constraint handler for quadratic constraints $\textrm{lhs} \leq \sum_{i,j=1}^n a_{i,j} x_ix_j + \sum_{i=1}^n b_i x_i \leq \textrm{rhs}$
 
file  cons_setppc.c [code]
 Constraint handler for the set partitioning / packing / covering constraints $1^T x\ \{=, \le, \ge\}\ 1$.
 
file  cons_setppc.h [code]
 Constraint handler for the set partitioning / packing / covering constraints $1^T x\ \{=, \le, \ge\}\ 1$.
 
file  cons_soc.c [code]
 constraint handler for second order cone constraints $\sqrt{\gamma + \sum_{i=1}^{n} (\alpha_i\, (x_i + \beta_i))^2} \leq \alpha_{n+1}\, (x_{n+1}+\beta_{n+1})$
 
file  cons_soc.h [code]
 constraint handler for second order cone constraints $\sqrt{\gamma + \sum_{i=1}^{n} (\alpha_i\, (x_i + \beta_i))^2} \leq \alpha_{n+1}\, (x_{n+1}+\beta_{n+1})$
 
file  cons_sos1.c [code]
 constraint handler for SOS type 1 constraints
 
file  cons_sos1.h [code]
 constraint handler for SOS type 1 constraints
 
file  cons_sos2.c [code]
 constraint handler for SOS type 2 constraints
 
file  cons_sos2.h [code]
 constraint handler for SOS type 2 constraints
 
file  cons_superindicator.c [code]
 constraint handler for indicator constraints over arbitrary constraint types
 
file  cons_superindicator.h [code]
 constraint handler for indicator constraints over arbitrary constraint types
 
file  cons_varbound.c [code]
 Constraint handler for variable bound constraints $lhs \le x + c y \le rhs$.
 
file  cons_varbound.h [code]
 Constraint handler for variable bound constraints $lhs \leq x + c y \leq rhs$.
 
file  cons_xor.c [code]
 Constraint handler for "xor" constraints, $rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n$.
 
file  cons_xor.h [code]
 Constraint handler for "xor" constraints, $rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n$.
 
file  cutpool.c [code]
 methods for storing cuts in a cut pool
 
file  cutpool.h [code]
 internal methods for storing cuts in a cut pool
 
file  debug.c [code]
 methods for debugging
 
file  debug.h [code]
 methods for debugging
 
file  def.h [code]
 common defines and data types used in all packages of SCIP
 
file  dialog.c [code]
 methods for user interface dialog
 
file  dialog.h [code]
 internal methods for user interface dialog
 
file  dialog_default.c [code]
 default user interface dialog
 
file  dialog_default.h [code]
 default user interface dialog
 
file  disp.c [code]
 methods and datastructures for displaying runtime statistics
 
file  disp.h [code]
 internal methods for displaying runtime statistics
 
file  disp_default.c [code]
 default display columns
 
file  disp_default.h [code]
 default display columns
 
file  dive.c [code]
 library methods for diving heuristics
 
file  event.c [code]
 methods and datastructures for managing events
 
file  event.h [code]
 internal methods for managing events
 
file  event_softtimelimit.c [code]
 eventhdlr for soft time limit
 
file  event_softtimelimit.h [code]
 eventhdlr for soft time limit
 
file  fileio.c [code]
 wrapper functions to map file i/o to standard or zlib file i/o
 
file  heur.c [code]
 methods for primal heuristics
 
file  heur.h [code]
 internal methods for primal heuristics
 
file  heur_actconsdiving.c [code]
 LP diving heuristic that chooses fixings w.r.t. the active constraints the variable appear in.
 
file  heur_actconsdiving.h [code]
 LP diving heuristic that chooses fixings w.r.t. the active constraints the variable appear in.
 
file  heur_bound.c [code]
 heuristic which fixes all integer variables to a bound (lower/upper) and solves the remaining LP
 
file  heur_bound.h [code]
 heuristic which fixes all integer variables to a bound (lower/upper) and solves the remaining LP
 
file  heur_clique.c [code]
 LNS heuristic using a clique partition to restrict the search neighborhood.
 
file  heur_clique.h [code]
 LNS heuristic using a clique partition to restrict the search neighborhood.
 
file  heur_coefdiving.c [code]
 LP diving heuristic that chooses fixings w.r.t. the matrix coefficients.
 
file  heur_coefdiving.h [code]
 LP diving heuristic that chooses fixings w.r.t. the matrix coefficients.
 
file  heur_crossover.c [code]
 crossover primal heuristic
 
file  heur_crossover.h [code]
 LNS heuristic that tries to combine several feasible solutions.
 
file  heur_dins.c [code]
 DINS primal heuristic (according to Ghosh)
 
file  heur_dins.h [code]
 DINS primal heuristic.
 
file  heur_distributiondiving.c [code]
 Diving heuristic that chooses fixings w.r.t. changes in the solution density after Pryor and Chinneck.
 
file  heur_distributiondiving.h [code]
 Diving heuristic that chooses fixings w.r.t. changes in the solution density after Pryor and Chinneck.
 
file  heur_dualval.c [code]
 dualval primal heuristic
 
file  heur_dualval.h [code]
 primal heuristic that uses dualvalues for successive switching variable values
 
file  heur_feaspump.c [code]
 Objective Feasibility Pump 2.0.
 
file  heur_feaspump.h [code]
 Objective Feasibility Pump 2.0.
 
file  heur_fixandinfer.c [code]
 fix-and-infer primal heuristic
 
file  heur_fixandinfer.h [code]
 fix-and-infer primal heuristic
 
file  heur_fracdiving.c [code]
 LP diving heuristic that chooses fixings w.r.t. the fractionalities.
 
file  heur_fracdiving.h [code]
 LP diving heuristic that chooses fixings w.r.t. the fractionalities.
 
file  heur_guideddiving.c [code]
 LP diving heuristic that chooses fixings in direction of incumbent solutions.
 
file  heur_guideddiving.h [code]
 LP diving heuristic that chooses fixings in direction of incumbent solutions.
 
file  heur_indicator.c [code]
 handle partial solutions for linear problems with indicators and otherwise continuous variables
 
file  heur_indicator.h [code]
 handle partial solutions for linear problems with indicators and otherwise continuous variables
 
file  heur_intdiving.c [code]
 LP diving heuristic that fixes variables with integral LP value.
 
file  heur_intdiving.h [code]
 LP diving heuristic that fixes variables with integral LP value.
 
file  heur_intshifting.c [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities, shifts integer variables, and solves a final LP to calculate feasible values for continuous variables.
 
file  heur_intshifting.h [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities, shifts integer variables, and solves a final LP to calculate feasible values for continuous variables.
 
file  heur_linesearchdiving.c [code]
 LP diving heuristic that fixes variables with a large difference to their root solution.
 
file  heur_linesearchdiving.h [code]
 LP diving heuristic that fixes variables with a large difference to their root solution.
 
file  heur_localbranching.c [code]
 Local branching heuristic according to Fischetti and Lodi.
 
file  heur_localbranching.h [code]
 Local branching heuristic according to Fischetti and Lodi.
 
file  heur_mutation.c [code]
 LNS heuristic that tries to randomly mutate the incumbent solution.
 
file  heur_mutation.h [code]
 LNS heuristic that tries to randomly mutate the incumbent solution.
 
file  heur_nlpdiving.c [code]
 NLP diving heuristic that chooses fixings w.r.t. the fractionalities.
 
file  heur_nlpdiving.h [code]
 NLP diving heuristic that chooses fixings w.r.t. the fractionalities.
 
file  heur_objpscostdiving.c [code]
 LP diving heuristic that changes variable's objective value instead of bounds, using pseudo cost values as guide.
 
file  heur_objpscostdiving.h [code]
 LP diving heuristic that changes variable's objective value instead of bounds, using pseudo cost values as guide.
 
file  heur_octane.c [code]
 octane primal heuristic based on Balas, Ceria, Dawande, Margot, and Pataki
 
file  heur_octane.h [code]
 octane primal heuristic based on Balas, Ceria, Dawande, Margot, and Pataki
 
file  heur_ofins.c [code]
 OFINS - Objective Function Induced Neighborhood Search - a primal heuristic for reoptimization.
 
file  heur_ofins.h [code]
 OFINS - Objective Function Induced Neighborhood Search - a primal heuristic for reoptimization.
 
file  heur_oneopt.c [code]
 improvement heuristic that alters single variable values
 
file  heur_oneopt.h [code]
 Improvement heuristic that alters single variable values.
 
file  heur_proximity.c [code]
 improvement heuristic which uses an auxiliary objective instead of the original objective function which is itself added as a constraint to a sub-SCIP instance. The heuristic was presented by Matteo Fischetti and Michele Monaci
 
file  heur_proximity.h [code]
 improvement heuristic which uses an auxiliary objective instead of the original objective function which is itself added as a constraint to a sub-SCIP instance. The heuristic was presented by Matteo Fischetti and Michele Monaci
 
file  heur_pscostdiving.c [code]
 LP diving heuristic that chooses fixings w.r.t. the pseudo cost values.
 
file  heur_pscostdiving.h [code]
 LP diving heuristic that chooses fixings w.r.t. the pseudo cost values.
 
file  heur_randrounding.c [code]
 randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree
 
file  heur_randrounding.h [code]
 randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree
 
file  heur_rens.c [code]
 LNS heuristic that finds the optimal rounding to a given point.
 
file  heur_rens.h [code]
 LNS heuristic that finds the optimal rounding to a given point.
 
file  heur_reoptsols.c [code]
 reoptsols primal heuristic
 
file  heur_reoptsols.h [code]
 reoptsols primal heuristic
 
file  heur_rins.c [code]
 LNS heuristic that combines the incumbent with the LP optimum.
 
file  heur_rins.h [code]
 LNS heuristic that combines the incumbent with the LP optimum.
 
file  heur_rootsoldiving.c [code]
 LP diving heuristic that changes variable's objective values using root LP solution as guide.
 
file  heur_rootsoldiving.h [code]
 LP diving heuristic that changes variables' objective values using root LP solution as guide.
 
file  heur_rounding.c [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities.
 
file  heur_rounding.h [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities.
 
file  heur_shiftandpropagate.c [code]
 shiftandpropagate primal heuristic
 
file  heur_shiftandpropagate.h [code]
 preroot heuristic that alternatingly fixes variables and propagates domains
 
file  heur_shifting.c [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities and shifts continuous variables.
 
file  heur_shifting.h [code]
 LP rounding heuristic that tries to recover from intermediate infeasibilities and shifts continuous variables.
 
file  heur_simplerounding.c [code]
 simple and fast LP rounding heuristic
 
file  heur_simplerounding.h [code]
 Simple and fast LP rounding heuristic.
 
file  heur_subnlp.c [code]
 NLP local search primal heuristic using sub-SCIPs.
 
file  heur_subnlp.h [code]
 NLP local search primal heuristic using sub-SCIPs.
 
file  heur_trivial.c [code]
 trivial primal heuristic
 
file  heur_trivial.h [code]
 trivial primal heuristic
 
file  heur_trivialnegation.c [code]
 trivialnegation primal heuristic
 
file  heur_trivialnegation.h [code]
 trivialnegation primal heuristic
 
file  heur_trysol.c [code]
 primal heuristic that tries a given solution
 
file  heur_trysol.h [code]
 primal heuristic that tries a given solution
 
file  heur_twoopt.c [code]
 primal heuristic to improve incumbent solution by flipping pairs of variables
 
file  heur_twoopt.h [code]
 Primal heuristic to improve incumbent solution by flipping pairs of variables.
 
file  heur_undercover.c [code]
 Undercover primal heuristic for MINLPs.
 
file  heur_undercover.h [code]
 Undercover primal heuristic for MINLPs.
 
file  heur_vbounds.c [code]
 LNS heuristic uses the variable lower and upper bounds to determine the search neighborhood.
 
file  heur_vbounds.h [code]
 LNS heuristic uses the variable lower and upper bounds to determine the search neighborhood.
 
file  heur_veclendiving.c [code]
 LP diving heuristic that rounds variables with long column vectors.
 
file  heur_veclendiving.h [code]
 LP diving heuristic that rounds variables with long column vectors.
 
file  heur_zeroobj.c [code]
 heuristic that tries to solve the problem without objective. In Gurobi, this heuristic is known as "Hail Mary"
 
file  heur_zeroobj.h [code]
 heuristic that tries to solve the problem without objective. In Gurobi, this heuristic is known as "Hail Mary"
 
file  heur_zirounding.c [code]
 zirounding primal heuristic
 
file  heur_zirounding.h [code]
 ZI Round primal heuristic.
 
file  history.c [code]
 methods for branching and inference history
 
file  history.h [code]
 internal methods for branching and inference history
 
file  implics.c [code]
 methods for implications, variable bounds, and clique tables
 
file  implics.h [code]
 methods for implications, variable bounds, and cliques
 
file  interrupt.c [code]
 methods and datastructures for catching the user CTRL-C interrupt
 
file  interrupt.h [code]
 methods for catching the user CTRL-C interrupt
 
file  intervalarith.c [code]
 interval arithmetics for provable bounds
 
file  intervalarith.h [code]
 interval arithmetics for provable bounds
 
file  lp.c [code]
 LP management methods and data structures.
 
file  lp.h [code]
 internal methods for LP management
 
file  matrix.c [code]
 methods for MIP matrix data structure
 
file  mem.c [code]
 block memory pools and memory buffers
 
file  mem.h [code]
 methods for block memory pools and memory buffers
 
file  message.c [code]
 message output methods
 
file  message.h [code]
 message output methods
 
file  message_default.c [code]
 default message handler
 
file  message_default.h [code]
 default message handler
 
file  misc.c [code]
 miscellaneous methods
 
file  misc.h [code]
 internal miscellaneous methods
 
file  nlp.c [code]
 NLP management methods and datastructures.
 
file  nlp.h [code]
 internal methods for NLP management
 
file  nodesel.c [code]
 methods for node selectors
 
file  nodesel.h [code]
 internal methods for node selectors and node priority queues
 
file  nodesel_bfs.c [code]
 node selector for best first search
 
file  nodesel_bfs.h [code]
 node selector for best first search
 
file  nodesel_breadthfirst.c [code]
 
file  nodesel_breadthfirst.h [code]
 node selector for breadth-first search
 
file  nodesel_dfs.c [code]
 node selector for depth first search
 
file  nodesel_dfs.h [code]
 node selector for depth first search
 
file  nodesel_estimate.c [code]
 node selector for best estimate search
 
file  nodesel_estimate.h [code]
 node selector for best estimate search
 
file  nodesel_hybridestim.c [code]
 node selector for hybrid best estimate / best bound search
 
file  nodesel_hybridestim.h [code]
 node selector for hybrid best estimate / best bound search
 
file  nodesel_restartdfs.c [code]
 node selector for depth first search with periodical selection of the best node
 
file  nodesel_restartdfs.h [code]
 node selector for depth first search with periodical selection of the best node
 
file  nodesel_uct.c [code]
 uct node selector which balances exploration and exploitation by considering node visits
 
file  nodesel_uct.h [code]
 uct node selector which balances exploration and exploitation by considering node visits
 
file  paramset.c [code]
 methods for handling parameter settings
 
file  paramset.h [code]
 internal methods for handling parameter settings
 
file  presol.c [code]
 methods for presolvers
 
file  presol.h [code]
 internal methods for presolvers
 
file  presol_boundshift.c [code]
 presolver that converts variables with domain [a,b] to variables with domain [0,b-a]
 
file  presol_boundshift.h [code]
 presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]
 
file  presol_components.c [code]
 solve independent components in advance
 
file  presol_components.h [code]
 components presolver
 
file  presol_convertinttobin.c [code]
 presolver that converts integer variables to binaries
 
file  presol_convertinttobin.h [code]
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_domcol.c [code]
 dominated column presolver
 
file  presol_domcol.h [code]
 dominated column presolver
 
file  presol_dualagg.c [code]
 aggregate variables by dual arguments
 
file  presol_dualagg.h [code]
 aggregate variables by dual arguments
 
file  presol_dualinfer.c [code]
 dual inference presolver
 
file  presol_dualinfer.h [code]
 dual inference presolver
 
file  presol_gateextraction.c [code]
 gateextraction presolver
 
file  presol_gateextraction.h [code]
 gateextraction presolver
 
file  presol_implfree.c [code]
 perform multi-aggregation on implied free variables
 
file  presol_implfree.h [code]
 exploit implied free variables for multi-aggregation
 
file  presol_implics.c [code]
 implics presolver
 
file  presol_implics.h [code]
 implication graph presolver which checks for aggregations
 
file  presol_inttobinary.c [code]
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_inttobinary.h [code]
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_redvub.c [code]
 remove redundant variable upper bound constraints
 
file  presol_redvub.h [code]
 remove redundant variable upper bound constraints
 
file  presol_stuffing.c [code]
 fix singleton continuous variables
 
file  presol_stuffing.h [code]
 fix singleton continuous variables
 
file  presol_trivial.c [code]
 trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds
 
file  presol_trivial.h [code]
 trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds
 
file  presol_tworowbnd.c [code]
 do bound tightening by using two rows
 
file  presol_tworowbnd.h [code]
 do bound tightening by using two rows
 
file  presolve.c [code]
 methods for presolving
 
file  presolve.h [code]
 internal methods for presolving
 
file  pricer.c [code]
 methods for variable pricers
 
file  pricer.h [code]
 internal methods for variable pricers
 
file  pricestore.c [code]
 methods for storing priced variables
 
file  pricestore.h [code]
 internal methods for storing priced variables
 
file  primal.c [code]
 methods for collecting primal CIP solutions and primal informations
 
file  primal.h [code]
 internal methods for collecting primal CIP solutions and primal informations
 
file  prob.c [code]
 Methods and datastructures for storing and manipulating the main problem.
 
file  prob.h [code]
 internal methods for storing and manipulating the main problem
 
file  prop.c [code]
 methods and datastructures for propagators
 
file  prop.h [code]
 internal methods for propagators
 
file  prop_dualfix.c [code]
 fixing roundable variables to best bound
 
file  prop_dualfix.h [code]
 fixing roundable variables to best bound
 
file  prop_genvbounds.c [code]
 generalized variable bounds propagator
 
file  prop_genvbounds.h [code]
 generalized variable bounds propagator
 
file  prop_obbt.c [code]
 optimization-based bound tightening propagator
 
file  prop_obbt.h [code]
 optimization-based bound tightening propagator
 
file  prop_probing.c [code]
 probing propagator
 
file  prop_probing.h [code]
 probing propagator
 
file  prop_pseudoobj.c [code]
 Pseudo objective propagator.
 
file  prop_pseudoobj.h [code]
 Pseudo objective propagator.
 
file  prop_redcost.c [code]
 propagator using the LP reduced cost and the cutoff bound
 
file  prop_redcost.h [code]
 propagator using the LP reduced cost and the cutoff bound
 
file  prop_rootredcost.c [code]
 reduced cost strengthening using root node reduced costs and the cutoff bound
 
file  prop_rootredcost.h [code]
 reduced cost strengthening using root node reduced costs and the cutoff bound
 
file  prop_vbounds.c [code]
 variable upper and lower bound propagator
 
file  prop_vbounds.h [code]
 variable upper and lower bound propagator
 
file  pub_branch.h [code]
 public methods for branching rules
 
file  pub_compr.h [code]
 public methods for tree compressions
 
file  pub_conflict.h [code]
 public methods for conflict analysis handlers
 
file  pub_cons.h [code]
 public methods for managing constraints
 
file  pub_cutpool.h [code]
 public methods for storing cuts in a cut pool
 
file  pub_dialog.h [code]
 public methods for user interface dialog
 
file  pub_disp.h [code]
 public methods for displaying runtime statistics
 
file  pub_dive.h [code]
 library methods for diving heuristics
 
file  pub_event.h [code]
 public methods for managing events
 
file  pub_fileio.h [code]
 wrapper functions to map file i/o to standard or zlib file i/o
 
file  pub_heur.h [code]
 public methods for primal heuristics
 
file  pub_history.h [code]
 public methods for branching and inference history structure
 
file  pub_implics.h [code]
 public methods for implications, variable bounds, and cliques
 
file  pub_lp.h [code]
 public methods for LP management
 
file  pub_matrix.h [code]
 public methods for matrix
 
file  pub_message.h [code]
 public methods for message output
 
file  pub_misc.h [code]
 public data structures and miscellaneous methods
 
file  pub_nlp.h [code]
 public methods for NLP management
 
file  pub_nodesel.h [code]
 public methods for node selectors
 
file  pub_paramset.h [code]
 public methods for handling parameter settings
 
file  pub_presol.h [code]
 public methods for presolvers
 
file  pub_pricer.h [code]
 public methods for variable pricers
 
file  pub_prop.h [code]
 public methods for propagators
 
file  pub_reader.h [code]
 public methods for input file readers
 
file  pub_relax.h [code]
 public methods for relaxation handlers
 
file  pub_reopt.h [code]
 public methods for reoptimization
 
file  pub_sepa.h [code]
 public methods for separators
 
file  pub_sol.h [code]
 public methods for primal CIP solutions
 
file  pub_tree.h [code]
 public methods for branch and bound tree
 
file  pub_var.h [code]
 public methods for problem variables
 
file  reader.c [code]
 interface for input file readers
 
file  reader.h [code]
 internal methods for input file readers
 
file  reader_bnd.c [code]
 file reader for variable bounds
 
file  reader_bnd.h [code]
 file reader for variable bounds
 
file  reader_ccg.c [code]
 Graph file reader (actually, only a writer)
 
file  reader_ccg.h [code]
 Column connectivity graph file reader (actually, only a writer)
 
file  reader_cip.c [code]
 CIP file reader.
 
file  reader_cip.h [code]
 CIP file reader.
 
file  reader_cnf.c [code]
 CNF file reader.
 
file  reader_cnf.h [code]
 CNF file reader.
 
file  reader_diff.c [code]
 DIFF file reader.
 
file  reader_diff.h [code]
 diff file reader
 
file  reader_fix.c [code]
 file reader for variable fixings
 
file  reader_fix.h [code]
 file reader for variable fixings
 
file  reader_fzn.c [code]
 FlatZinc file reader.
 
file  reader_fzn.h [code]
 FlatZinc file reader.
 
file  reader_gms.c [code]
 GAMS file writer.
 
file  reader_gms.h [code]
 GAMS file reader and writer.
 
file  reader_lp.c [code]
 LP file reader.
 
file  reader_lp.h [code]
 LP file reader.
 
file  reader_mps.c [code]
 (extended) MPS file reader
 
file  reader_mps.h [code]
 (extended) MPS file reader
 
file  reader_opb.c [code]
 pseudo-Boolean file reader (opb format)
 
file  reader_opb.h [code]
 pseudo-Boolean file reader (opb format)
 
file  reader_osil.c [code]
 OS instance language (OSiL) format file reader.
 
file  reader_osil.h [code]
 OS instance language (OSiL) format file reader.
 
file  reader_pbm.c [code]
 file writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview)
 
file  reader_pbm.h [code]
 file writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview)
 
file  reader_pip.c [code]
 file reader for polynomial mixed-integer programs in PIP format
 
file  reader_pip.h [code]
 file reader for polynomial mixed-integer programs in PIP format
 
file  reader_ppm.c [code]
 file writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview)
 
file  reader_ppm.h [code]
 file writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview)
 
file  reader_rlp.c [code]
 RLP file reader (LP format with generic variables and row names)
 
file  reader_rlp.h [code]
 RLP file reader (LP format with generic variables and row names)
 
file  reader_sol.c [code]
 file reader for primal solutions
 
file  reader_sol.h [code]
 file reader for primal solutions
 
file  reader_wbo.c [code]
 WBO file reader (OPB format with weighted constraints)
 
file  reader_wbo.h [code]
 WBO file reader (LP format with generic variables and row names)
 
file  reader_zpl.c [code]
 ZIMPL model file reader.
 
file  reader_zpl.h [code]
 ZIMPL model file reader.
 
file  relax.c [code]
 methods and datastructures for relaxation handlers
 
file  relax.h [code]
 internal methods for relaxators
 
file  reopt.c [code]
 data structures and methods for collecting reoptimization information
 
file  reopt.h [code]
 data structures and methods for collecting reoptimization information
 
file  retcode.c [code]
 methods for return codes for SCIP methods
 
file  retcode.h [code]
 internal methods for return codes for SCIP methods
 
file  scip.c [code]
 SCIP callable library.
 
file  scip.h [code]
 SCIP callable library.
 
file  scipdefplugins.c [code]
 default SCIP plugins
 
file  scipdefplugins.h [code]
 default SCIP plugins
 
file  scipgithash.c [code]
 git hash methods
 
file  scipgithash.h [code]
 git hash methods
 
file  scipshell.c [code]
 SCIP command line interface.
 
file  scipshell.h [code]
 SCIP command line interface.
 
file  sepa.c [code]
 methods and datastructures for separators
 
file  sepa.h [code]
 internal methods for separators
 
file  sepa_cgmip.c [code]
 Chvatal-Gomory cuts computed via a sub-MIP.
 
file  sepa_cgmip.h [code]
 Chvatal-Gomory cuts computed via a sub-MIP.
 
file  sepa_clique.c [code]
 clique separator
 
file  sepa_clique.h [code]
 clique separator
 
file  sepa_closecuts.c [code]
 closecuts meta separator
 
file  sepa_closecuts.h [code]
 closecuts meta separator
 
file  sepa_cmir.c [code]
 complemented mixed integer rounding cuts separator (Marchand's version)
 
file  sepa_cmir.h [code]
 complemented mixed integer rounding cuts separator (Marchand's version)
 
file  sepa_disjunctive.c [code]
 disjunctive cut separator
 
file  sepa_disjunctive.h [code]
 disjunctive cut separator
 
file  sepa_eccuts.c [code]
 edge concave cut separator
 
file  sepa_eccuts.h [code]
 edge concave cut separator
 
file  sepa_flowcover.c [code]
 flow cover cuts separator
 
file  sepa_flowcover.h [code]
 flowcover separator
 
file  sepa_gomory.c [code]
 Gomory MIR Cuts.
 
file  sepa_gomory.h [code]
 Gomory MIR Cuts.
 
file  sepa_impliedbounds.c [code]
 implied bounds separator
 
file  sepa_impliedbounds.h [code]
 implied bounds separator
 
file  sepa_intobj.c [code]
 integer objective value separator
 
file  sepa_intobj.h [code]
 integer objective value separator
 
file  sepa_mcf.c [code]
 multi-commodity-flow network cut separator
 
file  sepa_mcf.h [code]
 multi-commodity-flow network cut separator
 
file  sepa_oddcycle.c [code]
 oddcycle separator
 
file  sepa_oddcycle.h [code]
 oddcycle separator
 
file  sepa_rapidlearning.c [code]
 rapidlearning separator
 
file  sepa_rapidlearning.h [code]
 rapidlearning separator
 
file  sepa_strongcg.c [code]
 Strong CG Cuts (Letchford & Lodi)
 
file  sepa_strongcg.h [code]
 Strong CG Cuts (Letchford & Lodi)
 
file  sepa_zerohalf.c [code]
 {0,1/2}-cuts separator
 
file  sepa_zerohalf.h [code]
 {0,1/2}-cuts separator
 
file  sepastore.c [code]
 methods for storing separated cuts
 
file  sepastore.h [code]
 internal methods for storing separated cuts
 
file  set.c [code]
 methods for global SCIP settings
 
file  set.h [code]
 internal methods for global SCIP settings
 
file  sol.c [code]
 methods for storing primal CIP solutions
 
file  sol.h [code]
 internal methods for storing primal CIP solutions
 
file  solve.c [code]
 main solving loop and node processing
 
file  solve.h [code]
 internal methods for main solving loop and node processing
 
file  sorttpl.c [code]
 template functions for sorting
 
file  stat.c [code]
 methods for problem statistics
 
file  stat.h [code]
 internal methods for problem statistics
 
file  struct_branch.h [code]
 datastructures for branching rules and branching candidate storage
 
file  struct_clock.h [code]
 datastructures for clocks and timing issues
 
file  struct_compr.h [code]
 datastructures for tree compression techniques
 
file  struct_conflict.h [code]
 datastructures for conflict analysis
 
file  struct_cons.h [code]
 datastructures for constraints and constraint handlers
 
file  struct_cutpool.h [code]
 datastructures for storing cuts in a cut pool
 
file  struct_dialog.h [code]
 datastructures for user interface dialog
 
file  struct_disp.h [code]
 datastructures for displaying runtime statistics
 
file  struct_event.h [code]
 datastructures for managing events
 
file  struct_heur.h [code]
 datastructures for primal heuristics
 
file  struct_history.h [code]
 datastructures for branching and inference history
 
file  struct_implics.h [code]
 datastructures for implications, variable bounds, and cliques
 
file  struct_lp.h [code]
 datastructures for LP management
 
file  struct_matrix.h [code]
 data structure for MIP matrix
 
file  struct_mem.h [code]
 datastructures for block memory pools and memory buffers
 
file  struct_message.h [code]
 datastructures for problem statistics
 
file  struct_misc.h [code]
 miscellaneous datastructures
 
file  struct_nlp.h [code]
 datastructures for NLP management
 
file  struct_nodesel.h [code]
 datastructures for node selectors and node priority queues
 
file  struct_paramset.h [code]
 datastructures for handling parameter settings
 
file  struct_presol.h [code]
 datastructures for presolvers
 
file  struct_pricer.h [code]
 datastructures for variable pricers
 
file  struct_pricestore.h [code]
 datastructures for storing priced variables
 
file  struct_primal.h [code]
 datastructures for collecting primal CIP solutions and primal informations
 
file  struct_prob.h [code]
 datastructures for storing and manipulating the main problem
 
file  struct_prop.h [code]
 datastructures for propagators
 
file  struct_reader.h [code]
 datastructures for input file readers
 
file  struct_relax.h [code]
 datastructures for relaxators
 
file  struct_reopt.h [code]
 data structures for collecting reoptimization information
 
file  struct_scip.h [code]
 SCIP main data structure.
 
file  struct_sepa.h [code]
 datastructures for separators
 
file  struct_sepastore.h [code]
 datastructures for storing separated cuts
 
file  struct_set.h [code]
 datastructures for global SCIP settings
 
file  struct_sol.h [code]
 datastructures for storing primal CIP solutions
 
file  struct_stat.h [code]
 datastructures for problem statistics
 
file  struct_tree.h [code]
 datastructures for branch and bound tree
 
file  struct_var.h [code]
 datastructures for problem variables
 
file  struct_visual.h [code]
 datastructures for output for visualization tools (VBC, BAK)
 
file  tree.c [code]
 methods for branch and bound tree
 
file  tree.h [code]
 internal methods for branch and bound tree
 
file  type_branch.h [code]
 type definitions for branching rules
 
file  type_clock.h [code]
 type definitions for clocks and timing issues
 
file  type_compr.h [code]
 type definitions for tree compression
 
file  type_conflict.h [code]
 type definitions for conflict analysis
 
file  type_cons.h [code]
 type definitions for constraints and constraint handlers
 
file  type_cutpool.h [code]
 type definitions for storing cuts in a cut pool
 
file  type_dialog.h [code]
 type definitions for user interface dialog
 
file  type_disp.h [code]
 type definitions for displaying runtime statistics
 
file  type_event.h [code]
 type definitions for managing events
 
file  type_heur.h [code]
 type definitions for primal heuristics
 
file  type_history.h [code]
 type definitions for branching and inference history
 
file  type_implics.h [code]
 type definitions for implications, variable bounds, and cliques
 
file  type_interrupt.h [code]
 type definitions for catching the user CTRL-C interrupt
 
file  type_lp.h [code]
 type definitions for LP management
 
file  type_matrix.h [code]
 type definitions for MIP matrix
 
file  type_mem.h [code]
 type definitions for block memory pools and memory buffers
 
file  type_message.h [code]
 type definitions for message output methods
 
file  type_misc.h [code]
 type definitions for miscellaneous datastructures
 
file  type_nlp.h [code]
 type definitions for NLP management
 
file  type_nodesel.h [code]
 type definitions for node selectors
 
file  type_paramset.h [code]
 type definitions for handling parameter settings
 
file  type_presol.h [code]
 type definitions for presolvers
 
file  type_pricer.h [code]
 type definitions for variable pricers
 
file  type_pricestore.h [code]
 type definitions for storing priced variables
 
file  type_primal.h [code]
 type definitions for collecting primal CIP solutions and primal informations
 
file  type_prob.h [code]
 type definitions for storing and manipulating the main problem
 
file  type_prop.h [code]
 type definitions for propagators
 
file  type_reader.h [code]
 type definitions for input file readers
 
file  type_relax.h [code]
 type definitions for relaxators
 
file  type_reopt.h [code]
 type definitions for collecting reoptimization information
 
file  type_result.h [code]
 result codes for SCIP callback methods
 
file  type_retcode.h [code]
 type definitions for return codes for SCIP methods
 
file  type_scip.h [code]
 type definitions for SCIP's main datastructure
 
file  type_sepa.h [code]
 type definitions for separators
 
file  type_sepastore.h [code]
 type definitions for storing separated cuts
 
file  type_set.h [code]
 type definitions for global SCIP settings
 
file  type_sol.h [code]
 type definitions for storing primal CIP solutions
 
file  type_stat.h [code]
 type definitions for problem statistics
 
file  type_timing.h [code]
 timing definitions for SCIP
 
file  type_tree.h [code]
 type definitions for branch and bound tree
 
file  type_var.h [code]
 type definitions for problem variables
 
file  type_visual.h [code]
 type definitions for output for visualization tools (VBC, BAK)
 
file  var.c [code]
 methods for problem variables
 
file  var.h [code]
 internal methods for problem variables
 
file  visual.c [code]
 methods for creating output for visualization tools (VBC, BAK)
 
file  visual.h [code]
 methods for creating output for visualization tools (VBC, BAK)