Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods and headers of the plugin-independent C-API provided by the SCIP header file scip.h.

This module comprises methods provided by the header file scip.h. Including this header into a user-written extension suffices to have all plugin-independent functionality of SCIP available. Plugin-independent user functionality includes the

  • creation of problems that SCIP should solve
  • fine-grained access to initiate the solving process of SCIP
  • access to all sorts of solving process statistics
  • commonly used data structures and algorithms
  • the management of plugins
  • ...

In order facilitate the navigation through the core API of SCIP, it is structured into different modules.

Modules

 Type Definitions
 type definitions and callback declarations
 
 Problem Creation
 methods to create a problem that SCIP should solve
 
 Solving Process
 methods to control the solving process of SCIP
 
 Data Structures
 commonly used data structures
 
 Miscellaneous Methods
 commonly used methods from different categories
 
 Validation
 methods for validating the correctness of a solving process
 
 Debug Solution
 methods to control the SCIP debug solution mechanism, see also Debugging
 
 Messaging
 message output methods
 
 Methods for managing plugins
 Methods for the inclusion and management of SCIP plugins and callback functions.
 
 Parallel Interface
 methods to construct the parallel interface of SCIP
 
 Symmetry
 methods for symmetry handling
 

Files

file  cuts.h
 methods for the aggregation rows
 
file  heuristics.h
 methods commonly used by primal heuristics
 
file  intervalarith.h
 interval arithmetics for provable bounds
 
file  nlpioracle.h
 methods to store an NLP and request function, gradient, and Hessian values
 
file  presolve.h
 methods commonly used for presolving
 
file  pub_benders.h
 public methods for Benders' decomposition
 
file  pub_benderscut.h
 public methods for Benders' decomposition cuts
 
file  pub_branch.h
 public methods for branching rules
 
file  pub_compr.h
 public methods for tree compressions
 
file  pub_conflict.h
 public methods for conflict analysis handlers
 
file  pub_cons.h
 public methods for managing constraints
 
file  pub_cutpool.h
 public methods for storing cuts in a cut pool
 
file  pub_cutsel.h
 public methods for cut selectors
 
file  pub_dialog.h
 public methods for user interface dialog
 
file  pub_disp.h
 public methods for displaying runtime statistics
 
file  pub_event.h
 public methods for managing events
 
file  pub_expr.h
 public functions to work with algebraic expressions
 
file  pub_fileio.h
 wrapper functions to map file i/o to standard or zlib file i/o
 
file  pub_heur.h
 public methods for primal heuristics
 
file  pub_history.h
 public methods for branching and inference history structure
 
file  pub_implics.h
 public methods for implications, variable bounds, and cliques
 
file  pub_lp.h
 public methods for LP management
 
file  pub_matrix.h
 public methods for matrix
 
file  pub_message.h
 public methods for message output
 
file  pub_misc.h
 public data structures and miscellaneous methods
 
file  pub_misc_linear.h
 internal miscellaneous methods for linear constraints
 
file  pub_misc_rowprep.h
 preparation of a linear inequality to become a SCIP_ROW
 
file  pub_misc_select.h
 methods for selecting (weighted) k-medians
 
file  pub_misc_sort.h
 methods for sorting joint arrays of various types
 
file  pub_nlhdlr.h
 public functions of nonlinear handlers of nonlinear constraints
 
file  pub_nlp.h
 public methods for NLP management
 
file  pub_nlpi.h
 public methods for NLP solver interfaces
 
file  pub_nodesel.h
 public methods for node selectors
 
file  pub_paramset.h
 public methods for handling parameter settings
 
file  pub_presol.h
 public methods for presolvers
 
file  pub_pricer.h
 public methods for variable pricers
 
file  pub_prop.h
 public methods for propagators
 
file  pub_reader.h
 public methods for input file readers
 
file  pub_relax.h
 public methods for relaxation handlers
 
file  pub_reopt.h
 public methods for reoptimization
 
file  pub_sepa.h
 public methods for separators
 
file  pub_sol.h
 public methods for primal CIP solutions
 
file  pub_table.h
 public methods for displaying statistic tables
 
file  pub_tree.h
 public methods for branch and bound tree
 
file  pub_var.h
 public methods for problem variables
 
file  scip.h
 SCIP callable library.
 
file  scip_bandit.h
 public methods for bandit algorithms
 
file  scip_benders.h
 public methods for Benders decomposition
 
file  scip_branch.h
 public methods for branching rule plugins and branching
 
file  scip_compr.h
 public methods for compression plugins
 
file  scip_concurrent.h
 public methods for concurrent solving mode
 
file  scip_conflict.h
 public methods for conflict handler plugins and conflict analysis
 
file  scip_cons.h
 public methods for constraint handler plugins and constraints
 
file  scip_copy.h
 public methods for problem copies
 
file  scip_cut.h
 public methods for cuts and aggregation rows
 
file  scip_cutsel.h
 public methods for cut selector plugins
 
file  scip_datastructures.h
 public methods for data structures
 
file  scip_debug.h
 public methods for debugging
 
file  scip_dialog.h
 public methods for dialog handler plugins
 
file  scip_disp.h
 public methods for display handler plugins
 
file  scip_event.h
 public methods for event handler plugins and event handlers
 
file  scip_expr.h
 public functions to work with algebraic expressions
 
file  scip_general.h
 general public methods
 
file  scip_heur.h
 public methods for primal heuristic plugins and divesets
 
file  scip_lp.h
 public methods for the LP relaxation, rows and columns
 
file  scip_mem.h
 public methods for memory management
 
file  scip_message.h
 public methods for message handling
 
file  scip_nlp.h
 public methods for nonlinear relaxation
 
file  scip_nlpi.h
 public methods for NLPI solver interfaces
 
file  scip_nodesel.h
 public methods for node selector plugins
 
file  scip_numerics.h
 public methods for numerical tolerances
 
file  scip_param.h
 public methods for SCIP parameter handling
 
file  scip_presol.h
 public methods for presolving plugins
 
file  scip_pricer.h
 public methods for variable pricer plugins
 
file  scip_prob.h
 public methods for global and local (sub)problems
 
file  scip_probing.h
 public methods for the probing mode
 
file  scip_prop.h
 public methods for propagator plugins
 
file  scip_randnumgen.h
 public methods for random numbers
 
file  scip_reader.h
 public methods for reader plugins
 
file  scip_relax.h
 public methods for relaxator plugins
 
file  scip_reopt.h
 public methods for reoptimization
 
file  scip_sepa.h
 public methods for separator plugins
 
file  scip_sol.h
 public methods for solutions
 
file  scip_solve.h
 public solving methods
 
file  scip_solvingstats.h
 public methods for querying solving statistics
 
file  scip_table.h
 public methods for statistics table plugins
 
file  scip_timing.h
 public methods for timing
 
file  scip_tree.h
 public methods for the branch-and-bound tree
 
file  scip_validation.h
 public methods for validation
 
file  scip_var.h
 public methods for SCIP variables
 
file  scipbuildflags.h
 build flags methods
 
file  scipdefplugins.h
 default SCIP plugins
 
file  scipgithash.h
 git hash methods
 
file  scipshell.h
 SCIP command line interface.
 
file  struct_cuts.h
 struct definitions for cuts
 
file  symmetry.h
 methods for handling symmetries
 
file  symmetry_graph.h
 methods for dealing with symmetry detection graphs
 
file  treemodel.h
 Branching rules based on the Single-Variable-Branching (SVB) model.