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_datatree.h
     public methods for managing data trees
     
    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_iisfinder.h
     public methods for irreducible infeasible subsystems (IIS) finders
     
    file  pub_implics.h
     public methods for implications, variable bounds, and cliques
     
    file  pub_lp.h
     public methods for LP management
     
    file  pub_lpexact.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_network.h
     Methods for detecting network matrices.
     
    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  rational.h
     wrapper for rational number arithmetic
     
    file  rationalgmp.h
     wrapper for rational number arithmetic that interacts with GMP
     
    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_certificate.h
     public methods for certified solving
     
    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_datatree.h
     public methods for data tree structure
     
    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_exact.h
     public methods for exact solving
     
    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_iisfinder.h
     public methods for IIS finder plugins
     
    file  scip_lp.h
     public methods for the LP relaxation, rows and columns
     
    file  scip_lpexact.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.