|
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 .
|
|
file | cons_abspower.h [code] |
| Constraint handler for absolute power constraints .
|
|
file | cons_and.c [code] |
| Constraint handler for AND-constraints, .
|
|
file | cons_and.h [code] |
| Constraint handler for "and" constraints, .
|
|
file | cons_bivariate.c [code] |
| constraint handler for bivariate nonlinear constraints
|
|
file | cons_bivariate.h [code] |
| constraint handler for bivariate nonlinear constraints
|
|
file | cons_bounddisjunction.c [code] |
| constraint handler for bound disjunction constraints
|
|
file | cons_bounddisjunction.h [code] |
| constraint handler for bound disjunction constraints
|
|
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 , x binary and .
|
|
file | cons_knapsack.h [code] |
| Constraint handler for knapsack constraints of the form , x binary and .
|
|
file | cons_linear.c [code] |
| Constraint handler for linear constraints in their most general form, .
|
|
file | cons_linear.h [code] |
| Constraint handler for linear constraints in their most general form, .
|
|
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 (equivalent to set covering, but algorithms are suited for depth first search).
|
|
file | cons_logicor.h [code] |
| Constraint handler for logicor constraints (equivalent to set covering, but algorithms are suited for depth first search).
|
|
file | cons_nonlinear.c [code] |
| constraint handler for nonlinear constraints
|
|
file | cons_nonlinear.h [code] |
| constraint handler for nonlinear constraints
|
|
file | cons_or.c [code] |
| Constraint handler for "or" constraints, .
|
|
file | cons_or.h [code] |
| Constraint handler for "or" constraints, .
|
|
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
|
|
file | cons_quadratic.h [code] |
| constraint handler for quadratic constraints
|
|
file | cons_setppc.c [code] |
| Constraint handler for the set partitioning / packing / covering constraints .
|
|
file | cons_setppc.h [code] |
| Constraint handler for the set partitioning / packing / covering constraints .
|
|
file | cons_soc.c [code] |
| constraint handler for second order cone constraints
|
|
file | cons_soc.h [code] |
| constraint handler for second order cone constraints
|
|
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 .
|
|
file | cons_varbound.h [code] |
| Constraint handler for variable bound constraints .
|
|
file | cons_xor.c [code] |
| Constraint handler for "xor" constraints, .
|
|
file | cons_xor.h [code] |
| Constraint handler for "xor" constraints, .
|
|
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_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)
|
|