 branch_allfullstrong.h | All variables full strong LP branching rule |
 branch_cloud.h | Cloud branching rule |
 branch_distribution.h | Probability based branching rule based on an article by J. Pryor and J.W. Chinneck |
 branch_fullstrong.h | Full strong LP branching rule |
 branch_inference.h | Inference history branching rule |
 branch_leastinf.h | Least infeasible LP branching rule |
 branch_mostinf.h | Most infeasible LP branching rule |
 branch_multaggr.h | Fullstrong branching on fractional and multi-aggregated variables |
 branch_nodereopt.h | Nodereopt branching rule |
 branch_pscost.h | Pseudo costs branching rule |
 branch_random.h | Random variable branching rule |
 branch_relpscost.h | Reliable pseudo costs branching rule |
 compr_largestrepr.h | Largestrepr tree compression |
 compr_weakcompr.h | Weakcompr tree compression |
 cons_abspower.h | Constraint handler for absolute power constraints |
 cons_and.h | Constraint handler for "and" constraints, |
 cons_bivariate.h | Constraint handler for bivariate nonlinear constraints |
 cons_bounddisjunction.h | Constraint handler for bound disjunction constraints |
 cons_conjunction.h | Constraint handler for conjunction constraints |
 cons_countsols.h | Constraint handler for counting feasible solutions |
 cons_cumulative.h | Constraint handler for cumulative constraints |
 cons_disjunction.h | Constraint handler for disjunction constraints |
 cons_indicator.h | Constraint handler for indicator constraints |
 cons_integral.h | Constraint handler for the integrality constraint |
 cons_knapsack.h | Constraint handler for knapsack constraints of the form , x binary and |
 cons_linear.h | Constraint handler for linear constraints in their most general form, |
 cons_linking.h | Constraint handler for linking binary variables to an integer variable |
 cons_logicor.h | Constraint handler for logicor constraints (equivalent to set covering, but algorithms are suited for depth first search) |
 cons_nonlinear.h | Constraint handler for nonlinear constraints |
 cons_or.h | Constraint handler for "or" constraints, |
 cons_orbitope.h | Constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group |
 cons_pseudoboolean.h | Constraint handler for pseudoboolean constraints |
 cons_quadratic.h | Constraint handler for quadratic constraints |
 cons_setppc.h | Constraint handler for the set partitioning / packing / covering constraints |
 cons_soc.h | Constraint handler for second order cone constraints |
 cons_sos1.h | Constraint handler for SOS type 1 constraints |
 cons_sos2.h | Constraint handler for SOS type 2 constraints |
 cons_superindicator.h | Constraint handler for indicator constraints over arbitrary constraint types |
 cons_varbound.h | Constraint handler for variable bound constraints |
 cons_xor.h | Constraint handler for "xor" constraints, |
 def.h | Common defines and data types used in all packages of SCIP |
 dialog_default.h | Default user interface dialog |
 disp_default.h | Default display columns |
 event_softtimelimit.h | Eventhdlr for soft time limit |
 exprinterpret.h | Methods to interpret (evaluate) an expression tree "fast" |
 exprinterpret_cppad.cpp | Methods to interpret (evaluate) an expression tree "fast" using CppAD |
 exprinterpret_none.c | Function definitions for nonexisting expression interpreter to resolve linking references |
 heur_actconsdiving.h | LP diving heuristic that chooses fixings w.r.t. the active constraints the variable appear in |
 heur_bound.h | Heuristic which fixes all integer variables to a bound (lower/upper) and solves the remaining LP |
 heur_clique.h | LNS heuristic using a clique partition to restrict the search neighborhood |
 heur_coefdiving.h | LP diving heuristic that chooses fixings w.r.t. the matrix coefficients |
 heur_crossover.h | LNS heuristic that tries to combine several feasible solutions |
 heur_dins.h | DINS primal heuristic |
 heur_distributiondiving.h | Diving heuristic that chooses fixings w.r.t. changes in the solution density after Pryor and Chinneck |
 heur_dualval.h | Primal heuristic that uses dualvalues for successive switching variable values |
 heur_feaspump.h | Objective Feasibility Pump 2.0 |
 heur_fixandinfer.h | Fix-and-infer primal heuristic |
 heur_fracdiving.h | LP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_guideddiving.h | LP diving heuristic that chooses fixings in direction of incumbent solutions |
 heur_indicator.h | Handle partial solutions for linear problems with indicators and otherwise continuous variables |
 heur_intdiving.h | LP diving heuristic that fixes variables with integral LP value |
 heur_intshifting.h | 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 |
 heur_linesearchdiving.h | LP diving heuristic that fixes variables with a large difference to their root solution |
 heur_localbranching.h | Local branching heuristic according to Fischetti and Lodi |
 heur_mutation.h | LNS heuristic that tries to randomly mutate the incumbent solution |
 heur_nlpdiving.h | NLP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_objpscostdiving.h | LP diving heuristic that changes variable's objective value instead of bounds, using pseudo cost values as guide |
 heur_octane.h | Octane primal heuristic based on Balas, Ceria, Dawande, Margot, and Pataki |
 heur_ofins.h | OFINS - Objective Function Induced Neighborhood Search. Primal heuristic for reoptimization |
 heur_oneopt.h | Improvement heuristic that alters single variable values |
 heur_proximity.h | 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 |
 heur_pscostdiving.h | LP diving heuristic that chooses fixings w.r.t. the pseudo cost values |
 heur_randrounding.h | Randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree |
 heur_rens.h | LNS heuristic that finds the optimal rounding to a given point |
 heur_reoptsols.h | Reoptsols primal heuristic |
 heur_rins.h | LNS heuristic that combines the incumbent with the LP optimum |
 heur_rootsoldiving.h | LP diving heuristic that changes variables' objective values using root LP solution as guide |
 heur_rounding.h | LP rounding heuristic that tries to recover from intermediate infeasibilities |
 heur_shiftandpropagate.h | Preroot heuristic that alternatingly fixes variables and propagates domains |
 heur_shifting.h | LP rounding heuristic that tries to recover from intermediate infeasibilities and shifts continuous variables |
 heur_simplerounding.h | Simple and fast LP rounding heuristic |
 heur_subnlp.h | NLP local search primal heuristic using sub-SCIPs |
 heur_trivial.h | Trivial primal heuristic |
 heur_trivialnegation.h | Trivialnegation primal heuristic |
 heur_trysol.h | Primal heuristic that tries a given solution |
 heur_twoopt.h | Primal heuristic to improve incumbent solution by flipping pairs of variables |
 heur_undercover.h | Undercover primal heuristic for MINLPs |
 heur_vbounds.h | LNS heuristic uses the variable lower and upper bounds to determine the search neighborhood |
 heur_veclendiving.h | LP diving heuristic that rounds variables with long column vectors |
 heur_zeroobj.h | Heuristic that tries to solve the problem without objective. In Gurobi, this heuristic is known as "Hail Mary" |
 heur_zirounding.h | ZI Round primal heuristic |
 howtoadd.dxy | List of how to add "stuff" |
 interfaces.dxy | Interface documentation page |
 intervalarithext.cpp | C++ extensions to interval arithmetics for provable bounds |
 intervalarithext.h | C++ extensions to interval arithmetics for provable bounds |
 lpi.h | Interface methods for specific LP solvers |
 lpi_clp.cpp | LP interface for Clp |
 lpi_cpx.c | LP interface for CPLEX >= 8.0 |
 lpi_grb.c | LP interface for Gurobi |
 lpi_msk.c | LP interface for MOSEK |
 lpi_none.c | Dummy interface for the case no LP solver is needed |
 lpi_qso.c | LP interface for QSopt version >= 070303 |
 lpi_spx.cpp | LP interface for SoPlex version 1.4 and higher |
 lpi_spx2.cpp | LP interface for SoPlex version 2.0 and higher |
 lpi_xprs.c | LP interface for Xpress-MP |
 message_default.h | Default message handler |
 nlpi_ipopt.h | Ipopt NLP interface |
 nodesel_bfs.h | Node selector for best first search |
 nodesel_breadthfirst.h | Node selector for breadth-first search |
 nodesel_dfs.h | Node selector for depth first search |
 nodesel_estimate.h | Node selector for best estimate search |
 nodesel_hybridestim.h | Node selector for hybrid best estimate / best bound search |
 nodesel_restartdfs.h | Node selector for depth first search with periodical selection of the best node |
 nodesel_uct.h | Uct node selector which balances exploration and exploitation by considering node visits |
 objbranchrule.h | C++ wrapper for branching rules |
 objcloneable.h | Definition of base class for all clonable classes |
 objconshdlr.h | C++ wrapper for constraint handlers |
 objdialog.h | C++ wrapper for dialogs |
 objdisp.h | C++ wrapper for display columns |
 objeventhdlr.h | C++ wrapper for event handlers |
 objheur.h | C++ wrapper for primal heuristics |
 objmessagehdlr.h | C++ wrapper for message handlers |
 objnodesel.h | C++ wrapper for node selectors |
 objpresol.h | C++ wrapper for presolvers |
 objpricer.h | C++ wrapper for variable pricers |
 objprobcloneable.h | Definition of base class for all clonable classes which define problem data |
 objprobdata.h | C++ wrapper for user problem data |
 objprop.h | C++ wrapper for propagators |
 objreader.h | C++ wrapper for file readers and writers |
 objrelax.h | C++ wrapper for relaxation handlers |
 objscip.h | C++ wrapper classes for SCIP |
 objscipdefplugins.h | C++ wrapper for default SCIP plugins |
 objsepa.h | C++ wrapper for cut separators |
 objvardata.h | C++ wrapper for user variable data |
 presol_boundshift.h | Presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a] |
 presol_components.h | Components presolver |
 presol_convertinttobin.h | Presolver that converts integer variables with domain [a,a+1] to binaries |
 presol_domcol.h | Dominated column presolver |
 presol_dualagg.h | Aggregate variables by dual arguments |
 presol_dualinfer.h | Dual inference presolver |
 presol_gateextraction.h | Gateextraction presolver |
 presol_implfree.h | Exploit implied free variables for multi-aggregation |
 presol_implics.h | Implication graph presolver which checks for aggregations |
 presol_inttobinary.h | Presolver that converts integer variables with domain [a,a+1] to binaries |
 presol_redvub.h | Remove redundant variable upper bound constraints |
 presol_stuffing.h | Fix singleton continuous variables |
 presol_trivial.h | Trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds |
 presol_tworowbnd.h | Do bound tightening by using two rows |
 prop_dualfix.h | Fixing roundable variables to best bound |
 prop_genvbounds.h | Generalized variable bounds propagator |
 prop_obbt.h | Optimization-based bound tightening propagator |
 prop_probing.h | Probing propagator |
 prop_pseudoobj.h | Pseudo objective propagator |
 prop_redcost.h | Propagator using the LP reduced cost and the cutoff bound |
 prop_rootredcost.h | Reduced cost strengthening using root node reduced costs and the cutoff bound |
 prop_vbounds.h | Variable upper and lower bound propagator |
 pub_branch.h | Public methods for branching rules |
 pub_compr.h | Public methods for tree compressions |
 pub_conflict.h | Public methods for conflict analysis handlers |
 pub_cons.h | Public methods for managing constraints |
 pub_cutpool.h | Public methods for storing cuts in a cut pool |
 pub_dialog.h | Public methods for user interface dialog |
 pub_disp.h | Public methods for displaying runtime statistics |
 pub_dive.h | Library methods for diving heuristics |
 pub_event.h | Public methods for managing events |
 pub_expr.h | Public methods for expressions, expression trees, expression graphs, and related stuff |
 pub_fileio.h | Wrapper functions to map file i/o to standard or zlib file i/o |
 pub_heur.h | Public methods for primal heuristics |
 pub_history.h | Public methods for branching and inference history structure |
 pub_implics.h | Public methods for implications, variable bounds, and cliques |
 pub_lp.h | Public methods for LP management |
 pub_matrix.h | Public methods for MILP matrix |
 pub_message.h | Public methods for message output |
 pub_misc.h | Public data structures and miscellaneous methods |
 pub_nlp.h | Public methods for NLP management |
 pub_nodesel.h | Public methods for node selectors |
 pub_paramset.h | Public methods for handling parameter settings |
 pub_presol.h | Public methods for presolvers |
 pub_pricer.h | Public methods for variable pricers |
 pub_prop.h | Public methods for propagators |
 pub_reader.h | Public methods for input file readers |
 pub_relax.h | Public methods for relaxation handlers |
 pub_reopt.h | Public methods for reoptimization |
 pub_sepa.h | Public methods for separators |
 pub_sol.h | Public methods for primal CIP solutions |
 pub_tree.h | Public methods for branch and bound tree |
 pub_var.h | Public methods for problem variables |
 reader_bnd.h | File reader for variable bounds |
 reader_ccg.h | Column connectivity graph file reader (actually, only a writer) |
 reader_cip.h | CIP file reader |
 reader_cnf.h | CNF file reader |
 reader_diff.h | Diff file reader |
 reader_fix.h | File reader for variable fixings |
 reader_fzn.h | FlatZinc file reader |
 reader_gms.h | GAMS file reader and writer |
 reader_lp.h | LP file reader |
 reader_mps.h | (extended) MPS file reader |
 reader_opb.h | Pseudo-Boolean file reader (opb format) |
 reader_osil.h | OS instance language (OSiL) format file reader |
 reader_pbm.h | File writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview) |
 reader_pip.h | File reader for polynomial mixed-integer programs in PIP format |
 reader_ppm.h | File writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview) |
 reader_rlp.h | RLP file reader (LP format with generic variables and row names) |
 reader_sol.h | File reader for primal solutions |
 reader_wbo.h | WBO file reader (LP format with generic variables and row names) |
 reader_zpl.h | ZIMPL model file reader |
 scip.h | SCIP callable library |
 scipdefplugins.h | Default SCIP plugins |
 scipgithash.h | Git hash methods |
 scipshell.h | SCIP command line interface |
 sepa_cgmip.h | Chvatal-Gomory cuts computed via a sub-MIP |
 sepa_clique.h | Clique separator |
 sepa_closecuts.h | Closecuts meta separator |
 sepa_cmir.h | Complemented mixed integer rounding cuts separator (Marchand's version) |
 sepa_disjunctive.h | Disjunctive cut separator |
 sepa_eccuts.h | Edge concave cut separator |
 sepa_flowcover.h | Flowcover separator |
 sepa_gomory.h | Gomory MIR Cuts |
 sepa_impliedbounds.h | Implied bounds separator |
 sepa_intobj.h | Integer objective value separator |
 sepa_mcf.h | Multi-commodity-flow network cut separator |
 sepa_oddcycle.h | Oddcycle separator |
 sepa_rapidlearning.h | Rapidlearning separator |
 sepa_strongcg.h | Strong CG Cuts (Letchford & Lodi) |
 sepa_zerohalf.h | {0,1/2}-cuts separator |
 tclique_coloring.h | Coloring part of algorithm for maximum cliques |
 tclique_def.h | Tclique defines |
 type_branch.h | Type definitions for branching rules |
 type_clock.h | Type definitions for clocks and timing issues |
 type_compr.h | Type definitions for tree compression |
 type_conflict.h | Type definitions for conflict analysis |
 type_cons.h | Type definitions for constraints and constraint handlers |
 type_cutpool.h | Type definitions for storing cuts in a cut pool |
 type_dialog.h | Type definitions for user interface dialog |
 type_disp.h | Type definitions for displaying runtime statistics |
 type_event.h | Type definitions for managing events |
 type_expr.h | Type definitions for expressions and expression trees |
 type_exprinterpret.h | Type definitions for expression interpreter |
 type_heur.h | Type definitions for primal heuristics |
 type_history.h | Type definitions for branching and inference history |
 type_implics.h | Type definitions for implications, variable bounds, and cliques |
 type_interrupt.h | Type definitions for catching the user CTRL-C interrupt |
 type_lp.h | Type definitions for LP management |
 type_lpi.h | Type definitions for specific LP solvers interface |
 type_matrix.h | Type definitions for MILP matrix |
 type_mem.h | Type definitions for block memory pools and memory buffers |
 type_message.h | Type definitions for message output methods |
 type_misc.h | Type definitions for miscellaneous datastructures |
 type_nlp.h | Type definitions for NLP management |
 type_nlpi.h | Type definitions for specific NLP solver interfaces |
 type_nodesel.h | Type definitions for node selectors |
 type_objcloneable.h | Function type definitions for clonable classes |
 type_objprobcloneable.h | Function type definitions for clonable classes which define problem data |
 type_paramset.h | Type definitions for handling parameter settings |
 type_presol.h | Type definitions for presolvers |
 type_pricer.h | Type definitions for variable pricers |
 type_pricestore.h | Type definitions for storing priced variables |
 type_primal.h | Type definitions for collecting primal CIP solutions and primal informations |
 type_prob.h | Type definitions for storing and manipulating the main problem |
 type_prop.h | Type definitions for propagators |
 type_reader.h | Type definitions for input file readers |
 type_relax.h | Type definitions for relaxators |
 type_reopt.h | Type definitions for collecting reoptimization information |
 type_result.h | Result codes for SCIP callback methods |
 type_retcode.h | Type definitions for return codes for SCIP methods |
 type_scip.h | Type definitions for SCIP's main datastructure |
 type_sepa.h | Type definitions for separators |
 type_sepastore.h | Type definitions for storing separated cuts |
 type_set.h | Type definitions for global SCIP settings |
 type_sol.h | Type definitions for storing primal CIP solutions |
 type_stat.h | Type definitions for problem statistics |
 type_timing.h | Timing definitions for SCIP |
 type_tree.h | Type definitions for branch and bound tree |
 type_var.h | Type definitions for problem variables |
 type_visual.h | Type definitions for output for visualization tools (VBC, BAK) |
 xternal.c | Main document page |