 bitencode.c | Packing single and dual bit values |
 bitencode.h | Packing single and dual bit values |
 branch.c | Methods for branching rules and branching candidate storage |
 branch.h | Internal methods for branching rules and branching candidate storage |
 branch_allfullstrong.c | All variables full strong LP branching rule |
 branch_allfullstrong.h | All variables full strong LP branching rule |
 branch_cloud.c | Cloud branching rule |
 branch_cloud.h | Cloud branching rule |
 branch_fullstrong.c | Full strong LP branching rule |
 branch_fullstrong.h | Full strong LP branching rule |
 branch_inference.c | Inference history branching rule |
 branch_inference.h | Inference history branching rule |
 branch_leastinf.c | Least infeasible LP branching rule |
 branch_leastinf.h | Least infeasible LP branching rule |
 branch_mostinf.c | Most infeasible LP branching rule |
 branch_mostinf.h | Most infeasible LP branching rule |
 branch_pscost.c | Pseudo costs branching rule |
 branch_pscost.h | Pseudo costs branching rule |
 branch_random.c | Random variable branching rule |
 branch_random.h | Random variable branching rule |
 branch_relpscost.c | Reliable pseudo costs branching rule |
 branch_relpscost.h | Reliable pseudo costs branching rule |
 buffer.c | Methods for memory buffers for temporary objects |
 buffer.h | Internal methods for memory buffers for temporary objects |
 clock.c | Methods for clocks and timing issues |
 clock.h | Internal methods for clocks and timing issues |
 cmain.c | Main file for C compilation |
 conflict.c | Methods and datastructures for conflict analysis |
 conflict.h | Internal methods for conflict analysis |
 cons.c | Methods for constraints and constraint handlers |
 cons.h | Internal methods for constraints and constraint handlers |
 cons_abspower.c | Constraint handler for absolute power constraints  |
 cons_abspower.h | Constraint handler for absolute power constraints  |
 cons_and.c | Constraint handler for "and" constraints,  |
 cons_and.h | Constraint handler for "and" constraints,  |
 cons_bivariate.c | Constraint handler for bivariate nonlinear constraints  |
 cons_bivariate.h | Constraint handler for bivariate nonlinear constraints  |
 cons_bounddisjunction.c | Constraint handler for bound disjunction constraints  |
 cons_bounddisjunction.h | Constraint handler for bound disjunction constraints  |
 cons_conjunction.c | Constraint handler for conjunction constraints |
 cons_conjunction.h | Constraint handler for conjunction constraints |
 cons_countsols.c | Constraint handler for counting feasible solutions |
 cons_countsols.h | Constraint handler for counting feasible solutions |
 cons_cumulative.c | Constraint handler for cumulative constraints |
 cons_cumulative.h | Constraint handler for cumulative constraints |
 cons_disjunction.c | Constraint handler for disjunction constraints |
 cons_disjunction.h | Constraint handler for disjunction constraints |
 cons_indicator.c | Constraint handler for indicator constraints |
 cons_indicator.h | Constraint handler for indicator constraints |
 cons_integral.c | Constraint handler for the integrality constraint |
 cons_integral.h | Constraint handler for the integrality constraint |
 cons_knapsack.c | Constraint handler for knapsack constraints of the form , x binary and  |
 cons_knapsack.h | Constraint handler for knapsack constraints of the form , x binary and  |
 cons_linear.c | Constraint handler for linear constraints in their most general form,  |
 cons_linear.h | Constraint handler for linear constraints in their most general form,  |
 cons_linking.c | Constraint handler for linking constraints |
 cons_linking.h | Constraint handler for linking binary variables to an integer variable |
 cons_logicor.c | Constraint handler for logic or constraints (equivalent to set covering, but algorithms are suited for depth first search) |
 cons_logicor.h | Constraint handler for logicor constraints (equivalent to set covering, but algorithms are suited for depth first search) |
 cons_nonlinear.c | Constraint handler for nonlinear constraints  |
 cons_nonlinear.h | Constraint handler for nonlinear constraints  |
 cons_or.c | Constraint handler for "or" constraints,  |
 cons_or.h | Constraint handler for "or" constraints,  |
 cons_orbitope.c | Constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group |
 cons_orbitope.h | Constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group |
 cons_pseudoboolean.c | Constraint handler for pseudo Boolean constraints |
 cons_pseudoboolean.h | Constraint handler for pseudoboolean constraints |
 cons_quadratic.c | Constraint handler for quadratic constraints  |
 cons_quadratic.h | Constraint handler for quadratic constraints  |
 cons_setppc.c | Constraint handler for the set partitioning / packing / covering constraints  |
 cons_setppc.h | Constraint handler for the set partitioning / packing / covering constraints  |
 cons_soc.c | Constraint handler for second order cone constraints  |
 cons_soc.h | Constraint handler for second order cone constraints  |
 cons_sos1.c | Constraint handler for SOS type 1 constraints |
 cons_sos1.h | Constraint handler for SOS type 1 constraints |
 cons_sos2.c | Constraint handler for SOS type 2 constraints |
 cons_sos2.h | Constraint handler for SOS type 2 constraints |
 cons_superindicator.c | Constraint handler for indicator constraints over arbitrary constraint types |
 cons_superindicator.h | Constraint handler for indicator constraints over arbitrary constraint types |
 cons_varbound.c | Constraint handler for variable bound constraints  |
 cons_varbound.h | Constraint handler for variable bound constraints  |
 cons_xor.c | Constraint handler for "xor" constraints,  |
 cons_xor.h | Constraint handler for "xor" constraints,  |
 cppmain.cpp | Main file for C++ compilation |
 cutpool.c | Methods for storing cuts in a cut pool |
 cutpool.h | Internal methods for storing cuts in a cut pool |
 debug.c | Methods for debugging |
 debug.h | Methods for debugging |
 def.h | Common defines and data types used in all packages of SCIP |
 dialog.c | Methods for user interface dialog |
 dialog.h | Internal methods for user interface dialog |
 dialog_default.c | Default user interface dialog |
 dialog_default.h | Default user interface dialog |
 dijkstra.c | C implementation of Dijkstra's algorithm |
 dijkstra.h | Definitions for Disjkstra's shortest path algorithm |
 disp.c | Methods and datastructures for displaying runtime statistics |
 disp.h | Internal methods for displaying runtime statistics |
 disp_default.c | Default display columns |
 disp_default.h | Default display columns |
 event.c | Methods and datastructures for managing events |
 event.h | Internal methods for managing events |
 expr.c | Methods for expressions, expression trees, expression graphs, and related |
 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 |
 fileio.c | Wrapper functions to map file i/o to standard or zlib file i/o |
 githash.c | |
 heur.c | Methods for primal heuristics |
 heur.h | Internal methods for primal heuristics |
 heur_actconsdiving.c | LP diving heuristic that chooses fixings w.r.t. the active constraints the variable appear in |
 heur_actconsdiving.h | LP diving heuristic that chooses fixings w.r.t. the active constraints the variable appear in |
 heur_clique.c | LNS heuristic using a clique partition to restrict the search neighborhood |
 heur_clique.h | LNS heuristic using a clique partition to restrict the search neighborhood |
 heur_coefdiving.c | LP diving heuristic that chooses fixings w.r.t. the matrix coefficients |
 heur_coefdiving.h | LP diving heuristic that chooses fixings w.r.t. the matrix coefficients |
 heur_crossover.c | Crossover primal heuristic |
 heur_crossover.h | LNS heuristic that tries to combine several feasible solutions |
 heur_dins.c | DINS primal heuristic (according to Ghosh) |
 heur_dins.h | DINS primal heuristic |
 heur_dualval.c | Dualval primal heuristic |
 heur_dualval.h | Primal heuristic that uses dualvalues for successive switching variable values |
 heur_feaspump.c | Objective Feasibility Pump 2.0 |
 heur_feaspump.h | Objective Feasibility Pump 2.0 |
 heur_fixandinfer.c | Fix-and-infer primal heuristic |
 heur_fixandinfer.h | Fix-and-infer primal heuristic |
 heur_fracdiving.c | LP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_fracdiving.h | LP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_guideddiving.c | LP diving heuristic that chooses fixings in direction of incumbent solutions |
 heur_guideddiving.h | LP diving heuristic that chooses fixings in direction of incumbent solutions |
 heur_intdiving.c | LP diving heuristic that fixes variables with integral LP value |
 heur_intdiving.h | LP diving heuristic that fixes variables with integral LP value |
 heur_intshifting.c | 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_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.c | LP diving heuristic that fixes variables with a large difference to their root solution |
 heur_linesearchdiving.h | LP diving heuristic that fixes variables with a large difference to their root solution |
 heur_localbranching.c | Local branching heuristic according to Fischetti and Lodi |
 heur_localbranching.h | Local branching heuristic according to Fischetti and Lodi |
 heur_mutation.c | LNS heuristic that tries to randomly mutate the incumbent solution |
 heur_mutation.h | LNS heuristic that tries to randomly mutate the incumbent solution |
 heur_nlpdiving.c | NLP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_nlpdiving.h | NLP diving heuristic that chooses fixings w.r.t. the fractionalities |
 heur_objpscostdiving.c | LP diving heuristic that changes variable's objective value instead of bounds, using pseudo cost values as guide |
 heur_objpscostdiving.h | LP diving heuristic that changes variable's objective value instead of bounds, using pseudo cost values as guide |
 heur_octane.c | Octane primal heuristic based on Balas, Ceria, Dawande, Margot, and Pataki |
 heur_octane.h | Octane primal heuristic based on Balas, Ceria, Dawande, Margot, and Pataki |
 heur_oneopt.c | Improvement heuristic that alters single variable values |
 heur_oneopt.h | Improvement heuristic that alters single variable values |
 heur_proximity.c | 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_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.c | LP diving heuristic that chooses fixings w.r.t. the pseudo cost values |
 heur_pscostdiving.h | LP diving heuristic that chooses fixings w.r.t. the pseudo cost values |
 heur_randrounding.c | Randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree |
 heur_randrounding.h | Randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree |
 heur_rens.c | LNS heuristic that finds the optimal rounding to a given point |
 heur_rens.h | LNS heuristic that finds the optimal rounding to a given point |
 heur_rins.c | LNS heuristic that combines the incumbent with the LP optimum |
 heur_rins.h | LNS heuristic that combines the incumbent with the LP optimum |
 heur_rootsoldiving.c | LP diving heuristic that changes variable's objective values using root LP solution as guide |
 heur_rootsoldiving.h | LP diving heuristic that changes variables' objective values using root LP solution as guide |
 heur_rounding.c | LP rounding heuristic that tries to recover from intermediate infeasibilities |
 heur_rounding.h | LP rounding heuristic that tries to recover from intermediate infeasibilities |
 heur_shiftandpropagate.c | Shiftandpropagate primal heuristic |
 heur_shiftandpropagate.h | Preroot heuristic that alternatingly fixes variables and propagates domains |
 heur_shifting.c | LP rounding heuristic that tries to recover from intermediate infeasibilities and shifts continuous variables |
 heur_shifting.h | LP rounding heuristic that tries to recover from intermediate infeasibilities and shifts continuous variables |
 heur_simplerounding.c | Simple and fast LP rounding heuristic |
 heur_simplerounding.h | Simple and fast LP rounding heuristic |
 heur_subnlp.c | NLP local search primal heuristic using sub-SCIPs |
 heur_subnlp.h | NLP local search primal heuristic using sub-SCIPs |
 heur_trivial.c | Trivial primal heuristic |
 heur_trivial.h | Trivial primal heuristic |
 heur_trysol.c | Primal heuristic that tries a given solution |
 heur_trysol.h | Primal heuristic that tries a given solution |
 heur_twoopt.c | Primal heuristic to improve incumbent solution by flipping pairs of variables |
 heur_twoopt.h | Primal heuristic to improve incumbent solution by flipping pairs of variables |
 heur_undercover.c | Undercover primal heuristic for MINLPs |
 heur_undercover.h | Undercover primal heuristic for MINLPs |
 heur_vbounds.c | LNS heuristic uses the variable lower and upper bounds to determine the search neighborhood |
 heur_vbounds.h | LNS heuristic uses the variable lower and upper bounds to determine the search neighborhood |
 heur_veclendiving.c | LP diving heuristic that rounds variables with long column vectors |
 heur_veclendiving.h | LP diving heuristic that rounds variables with long column vectors |
 heur_zeroobj.c | Heuristic that tries to solve the problem without objective. In Gurobi, this heuristic is known as "Hail Mary" |
 heur_zeroobj.h | Heuristic that tries to solve the problem without objective. In Gurobi, this heuristic is known as "Hail Mary" |
 heur_zirounding.c | Zirounding primal heuristic |
 heur_zirounding.h | ZI Round primal heuristic |
 history.c | Methods for branching and inference history |
 history.h | Internal methods for branching and inference history |
 howtoadd.dxy | List of how to add "stuff" |
 implics.c | Methods for implications, variable bounds, and clique tables |
 implics.h | Methods for implications, variable bounds, and cliques |
 interfaces.dxy | Interface documentation page |
 interrupt.c | Methods and datastructures for catching the user CTRL-C interrupt |
 interrupt.h | Methods for catching the user CTRL-C interrupt |
 intervalarith.c | Interval arithmetics for provable bounds |
 intervalarith.h | Interval arithmetics for provable bounds |
 intervalarithext.cpp | C++ extensions to interval arithmetics for provable bounds |
 intervalarithext.h | C++ extensions to interval arithmetics for provable bounds |
 lp.c | LP management methods and data structures |
 lp.h | Internal methods for LP management |
 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 | |
 lpi_xprs.c | LP interface for Xpress-MP 16-21 |
 mem.c | Block memory pools and memory buffers |
 mem.h | Methods for block memory pools and memory buffers |
 memory.c | Memory allocation routines |
 memory.h | Memory allocation routines |
 message.c | Message output methods |
 message.h | Message output methods |
 message_default.c | Default message handler |
 message_default.h | Default message handler |
 misc.c | Miscellaneous methods |
 misc.h | Internal miscellaneous methods |
 nlp.c | NLP management methods and datastructures |
 nlp.h | Internal methods for NLP management |
 nlpi.c | Methods for handling nlp interface |
 nlpi.h | Internal methods for NLPI solver interfaces |
 nlpi_ipopt.cpp | Ipopt NLP interface |
 nlpi_ipopt.h | Ipopt NLP interface |
 nlpi_ipopt_dummy.c | Dummy Ipopt NLP interface for the case that Ipopt is not available |
 nlpioracle.c | Implementation of NLPI oracle interface |
 nlpioracle.h | Methods to store an NLP and request function, gradient, and hessian values |
 nodesel.c | Methods for node selectors |
 nodesel.h | Internal methods for node selectors and node priority queues |
 nodesel_bfs.c | Node selector for best first search |
 nodesel_bfs.h | Node selector for best first search |
 nodesel_breadthfirst.c | |
 nodesel_breadthfirst.h | Node selector for breadth-first search |
 nodesel_dfs.c | Node selector for depth first search |
 nodesel_dfs.h | Node selector for depth first search |
 nodesel_estimate.c | Node selector for best estimate search |
 nodesel_estimate.h | Node selector for best estimate search |
 nodesel_hybridestim.c | Node selector for hybrid best estimate / best bound search |
 nodesel_hybridestim.h | Node selector for hybrid best estimate / best bound search |
 nodesel_restartdfs.c | Node selector for depth first search with periodical selection of the best node |
 nodesel_restartdfs.h | Node selector for depth first search with periodical selection of the best node |
 nodesel_uct.c | Uct node selector which balances exploration and exploitation by considering node visits |
 nodesel_uct.h | Uct node selector which balances exploration and exploitation by considering node visits |
 objbranchrule.cpp | C++ wrapper for branching rules |
 objbranchrule.h | C++ wrapper for branching rules |
 objcloneable.h | Definition of base class for all clonable classes |
 objconshdlr.cpp | C++ wrapper for constraint handlers |
 objconshdlr.h | C++ wrapper for constraint handlers |
 objdialog.cpp | C++ wrapper for dialogs |
 objdialog.h | C++ wrapper for dialogs |
 objdisp.cpp | C++ wrapper for display column |
 objdisp.h | C++ wrapper for display columns |
 objeventhdlr.cpp | C++ wrapper for event handlers |
 objeventhdlr.h | C++ wrapper for event handlers |
 objheur.cpp | C++ wrapper for primal heuristics |
 objheur.h | C++ wrapper for primal heuristics |
 objmessagehdlr.cpp | C++ wrapper for message handlers |
 objmessagehdlr.h | C++ wrapper for message handlers |
 objnodesel.cpp | C++ wrapper for node selectors |
 objnodesel.h | C++ wrapper for node selectors |
 objpresol.cpp | C++ wrapper for presolvers |
 objpresol.h | C++ wrapper for presolvers |
 objpricer.cpp | C++ wrapper for variable pricers |
 objpricer.h | C++ wrapper for variable pricers |
 objprobcloneable.h | Definition of base class for all clonable classes which define problem data |
 objprobdata.cpp | C++ wrapper for user problem data |
 objprobdata.h | C++ wrapper for user problem data |
 objprop.cpp | C++ wrapper for propagators |
 objprop.h | C++ wrapper for propagators |
 objreader.cpp | C++ wrapper for file readers |
 objreader.h | C++ wrapper for file readers and writers |
 objrelax.cpp | C++ wrapper for relaxators |
 objrelax.h | C++ wrapper for relaxation handlers |
 objscip.h | C++ wrapper classes for SCIP |
 objscipdefplugins.h | C++ wrapper for default SCIP plugins |
 objsepa.cpp | C++ wrapper for cut separators |
 objsepa.h | C++ wrapper for cut separators |
 objvardata.cpp | C++ wrapper for user variable data |
 objvardata.h | C++ wrapper for user variable data |
 paramset.c | Methods for handling parameter settings |
 paramset.h | Internal methods for handling parameter settings |
 presol.c | Methods for presolvers |
 presol.h | Internal methods for presolvers |
 presol_boundshift.c | Presolver that converts variables with domain [a,b] to variables with domain [0,b-a] |
 presol_boundshift.h | Presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a] |
 presol_components.c | Solve independent components in advance |
 presol_components.h | Components presolver |
 presol_convertinttobin.c | Presolver that converts integer variables to binaries |
 presol_convertinttobin.h | Presolver that converts integer variables with domain [a,a+1] to binaries |
 presol_domcol.c | Dominated column presolver |
 presol_domcol.h | Dominated column presolver |
 presol_dualinfer.c | Dual inference presolver |
 presol_dualinfer.h | Dual inference presolver |
 presol_gateextraction.c | Gateextraction presolver |
 presol_gateextraction.h | Gateextraction presolver |
 presol_implics.c | Implics presolver |
 presol_implics.h | Implication graph presolver which checks for aggregations |
 presol_inttobinary.c | Presolver that converts integer variables with domain [a,a+1] to binaries |
 presol_inttobinary.h | Presolver that converts integer variables with domain [a,a+1] to binaries |
 presol_trivial.c | Trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds |
 presol_trivial.h | Trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds |
 presolve.c | Methods for presolving |
 presolve.h | Internal methods for presolving |
 pricer.c | Methods for variable pricers |
 pricer.h | Internal methods for variable pricers |
 pricestore.c | Methods for storing priced variables |
 pricestore.h | Internal methods for storing priced variables |
 primal.c | Methods for collecting primal CIP solutions and primal informations |
 primal.h | Internal methods for collecting primal CIP solutions and primal informations |
 prob.c | Methods and datastructures for storing and manipulating the main problem |
 prob.h | Internal methods for storing and manipulating the main problem |
 prop.c | Methods and datastructures for propagators |
 prop.h | Internal methods for propagators |
 prop_dualfix.c | Fixing roundable variables to best bound |
 prop_dualfix.h | Fixing roundable variables to best bound |
 prop_genvbounds.c | Generalized variable bounds propagator |
 prop_genvbounds.h | Generalized variable bounds propagator |
 prop_obbt.c | Optimization-based bound tightening propagator |
 prop_obbt.h | Optimization-based bound tightening propagator |
 prop_probing.c | Probing propagator |
 prop_probing.h | Probing propagator |
 prop_pseudoobj.c | Pseudo objective propagator |
 prop_pseudoobj.h | Pseudo objective propagator |
 prop_redcost.c | Propagator using the LP reduced cost and the cutoff bound |
 prop_redcost.h | Propagator using the LP reduced cost and the cutoff bound |
 prop_rootredcost.c | Reduced cost strengthening using root node reduced costs and the cutoff bound |
 prop_rootredcost.h | Reduced cost strengthening using root node reduced costs and the cutoff bound |
 prop_vbounds.c | Variable upper and lower bound propagator |
 prop_vbounds.h | Variable upper and lower bound propagator |
 pub_branch.h | Public methods for branching rules |
 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_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_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_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.c | Interface for input file readers |
 reader.h | Internal methods for input file readers |
 reader_bnd.c | File reader for variable bounds |
 reader_bnd.h | File reader for variable bounds |
 reader_ccg.c | Graph file reader (actually, only a writer) |
 reader_ccg.h | Column connectivity graph file reader (actually, only a writer) |
 reader_cip.c | CIP file reader |
 reader_cip.h | CIP file reader |
 reader_cnf.c | CNF file reader |
 reader_cnf.h | CNF file reader |
 reader_fix.c | File reader for variable fixings |
 reader_fix.h | File reader for variable fixings |
 reader_fzn.c | FlatZinc file reader |
 reader_fzn.h | FlatZinc file reader |
 reader_gms.c | GAMS file writer |
 reader_gms.h | GAMS file reader and writer |
 reader_lp.c | LP file reader |
 reader_lp.h | LP file reader |
 reader_mps.c | (extended) MPS file reader |
 reader_mps.h | (extended) MPS file reader |
 reader_opb.c | Pseudo-Boolean file reader (opb format) |
 reader_opb.h | Pseudo-Boolean file reader (opb format) |
 reader_osil.c | OS instance language (OSiL) format file reader |
 reader_osil.h | OS instance language (OSiL) format file reader |
 reader_pbm.c | File writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview) |
 reader_pbm.h | File writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview) |
 reader_pip.c | File reader for polynomial mixed-integer programs in PIP format |
 reader_pip.h | File reader for polynomial mixed-integer programs in PIP format |
 reader_ppm.c | File writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview) |
 reader_ppm.h | File writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview) |
 reader_rlp.c | RLP file reader (LP format with generic variables and row names) |
 reader_rlp.h | RLP file reader (LP format with generic variables and row names) |
 reader_sol.c | File reader for primal solutions |
 reader_sol.h | File reader for primal solutions |
 reader_wbo.c | WBO file reader (OPB format with weighted constraints) |
 reader_wbo.h | WBO file reader (LP format with generic variables and row names) |
 reader_zpl.c | ZIMPL model file reader |
 reader_zpl.h | ZIMPL model file reader |
 relax.c | Methods and datastructures for relaxation handlers |
 relax.h | Internal methods for relaxators |
 retcode.c | Methods for return codes for SCIP methods |
 retcode.h | Internal methods for return codes for SCIP methods |
 scip.c | SCIP callable library |
 scip.h | SCIP callable library |
 scipdefplugins.c | Default SCIP plugins |
 scipdefplugins.h | Default SCIP plugins |
 scipgithash.c | Git hash methods |
 scipgithash.h | Git hash methods |
 scipshell.c | SCIP command line interface |
 scipshell.h | SCIP command line interface |
 sepa.c | Methods and datastructures for separators |
 sepa.h | Internal methods for separators |
 sepa_cgmip.c | Chvatal-Gomory cuts computed via a sub-MIP |
 sepa_cgmip.h | Chvatal-Gomory cuts computed via a sub-MIP |
 sepa_clique.c | Clique separator |
 sepa_clique.h | Clique separator |
 sepa_closecuts.c | Closecuts meta separator |
 sepa_closecuts.h | Closecuts meta separator |
 sepa_cmir.c | Complemented mixed integer rounding cuts separator (Marchand's version) |
 sepa_cmir.h | Complemented mixed integer rounding cuts separator (Marchand's version) |
 sepa_flowcover.c | Flow cover cuts separator |
 sepa_flowcover.h | Flowcover separator |
 sepa_gomory.c | Gomory MIR Cuts |
 sepa_gomory.h | Gomory MIR Cuts |
 sepa_impliedbounds.c | Implied bounds separator |
 sepa_impliedbounds.h | Implied bounds separator |
 sepa_intobj.c | Integer objective value separator |
 sepa_intobj.h | Integer objective value separator |
 sepa_mcf.c | Multi-commodity-flow network cut separator |
 sepa_mcf.h | Multi-commodity-flow network cut separator |
 sepa_oddcycle.c | Oddcycle separator |
 sepa_oddcycle.h | Oddcycle separator |
 sepa_rapidlearning.c | Rapidlearning separator |
 sepa_rapidlearning.h | Rapidlearning separator |
 sepa_strongcg.c | Strong CG Cuts (Letchford & Lodi) |
 sepa_strongcg.h | Strong CG Cuts (Letchford & Lodi) |
 sepa_zerohalf.c | {0,1/2}-cuts separator |
 sepa_zerohalf.h | {0,1/2}-cuts separator |
 sepastore.c | Methods for storing separated cuts |
 sepastore.h | Internal methods for storing separated cuts |
 set.c | Methods for global SCIP settings |
 set.h | Internal methods for global SCIP settings |
 sol.c | Methods for storing primal CIP solutions |
 sol.h | Internal methods for storing primal CIP solutions |
 solve.c | Main solving loop and node processing |
 solve.h | Internal methods for main solving loop and node processing |
 sorttpl.c | Template functions for sorting |
 stat.c | Methods for problem statistics |
 stat.h | Internal methods for problem statistics |
 struct_branch.h | Datastructures for branching rules and branching candidate storage |
 struct_buffer.h | Datastructures for memory buffers for temporary objects |
 struct_clock.h | Datastructures for clocks and timing issues |
 struct_conflict.h | Datastructures for conflict analysis |
 struct_cons.h | Datastructures for constraints and constraint handlers |
 struct_cutpool.h | Datastructures for storing cuts in a cut pool |
 struct_dialog.h | Datastructures for user interface dialog |
 struct_disp.h | Datastructures for displaying runtime statistics |
 struct_event.h | Datastructures for managing events |
 struct_expr.h | Data definitions for expressions and expression trees |
 struct_heur.h | Datastructures for primal heuristics |
 struct_history.h | Datastructures for branching and inference history |
 struct_implics.h | Datastructures for implications, variable bounds, and cliques |
 struct_lp.h | Datastructures for LP management |
 struct_mem.h | Datastructures for block memory pools and memory buffers |
 struct_message.h | Datastructures for problem statistics |
 struct_misc.h | Miscellaneous datastructures |
 struct_nlp.h | Datastructures for NLP management |
 struct_nlpi.h | Data definitions for an NLP solver interface |
 struct_nodesel.h | Datastructures for node selectors and node priority queues |
 struct_paramset.h | Datastructures for handling parameter settings |
 struct_presol.h | Datastructures for presolvers |
 struct_pricer.h | Datastructures for variable pricers |
 struct_pricestore.h | Datastructures for storing priced variables |
 struct_primal.h | Datastructures for collecting primal CIP solutions and primal informations |
 struct_prob.h | Datastructures for storing and manipulating the main problem |
 struct_prop.h | Datastructures for propagators |
 struct_reader.h | Datastructures for input file readers |
 struct_relax.h | Datastructures for relaxators |
 struct_scip.h | SCIP main data structure |
 struct_sepa.h | Datastructures for separators |
 struct_sepastore.h | Datastructures for storing separated cuts |
 struct_set.h | Datastructures for global SCIP settings |
 struct_sol.h | Datastructures for storing primal CIP solutions |
 struct_stat.h | Datastructures for problem statistics |
 struct_tree.h | Datastructures for branch and bound tree |
 struct_var.h | Datastructures for problem variables |
 struct_vbc.h | Datastructures for VBC Tool output |
 tclique.h | Tclique user interface |
 tclique_branch.c | Branch and bound part of algorithm for maximum cliques |
 tclique_coloring.c | Coloring part of algorithm for maximum cliques |
 tclique_coloring.h | Coloring part of algorithm for maximum cliques |
 tclique_def.h | Tclique defines |
 tclique_graph.c | Graph data part of algorithm for maximum cliques |
 tree.c | Methods for branch and bound tree |
 tree.h | Internal methods for branch and bound tree |
 type_branch.h | Type definitions for branching rules |
 type_buffer.h | Type definitions for memory buffers for temporary objects |
 type_clock.h | Type definitions for clocks and timing issues |
 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_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_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_vbc.h | Type definitions for VBC Tool output |
 var.c | Methods for problem variables |
 var.h | Internal methods for problem variables |
 vbc.c | Methods for VBC Tool output |
 vbc.h | Methods for VBC Tool output |
 xml.h | Declarations for XML parsing |
 xmldef.h | Definitions for XML parsing |
 xmlparse.c | |
 xternal.c | Main document page |