Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

implementation files (.c files) of the default constraint handlers of SCIP

Files

file  cons_abspower.c
 Constraint handler for absolute power constraints \(\textrm{lhs} \leq \textrm{sign}(x+a) |x+a|^n + c z \leq \textrm{rhs}\).
 
file  cons_and.c
 Constraint handler for AND-constraints, \(r = x_1 \wedge x_2 \wedge \dots \wedge x_n\).
 
file  cons_benders.c
 constraint handler for Benders' decomposition
 
file  cons_benderslp.c
 constraint handler for benderslp decomposition
 
file  cons_bivariate.c
 constraint handler for bivariate nonlinear constraints \(\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}\)
 
file  cons_bounddisjunction.c
 constraint handler for bound disjunction constraints \((x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)\)
 
file  cons_cardinality.c
 constraint handler for cardinality constraints
 
file  cons_components.c
 constraint handler for handling independent components
 
file  cons_conjunction.c
 constraint handler for conjunction constraints
 
file  cons_countsols.c
 constraint handler for counting feasible solutions
 
file  cons_cumulative.c
 constraint handler for cumulative constraints
 
file  cons_disjunction.c
 constraint handler for disjunction constraints
 
file  cons_indicator.c
 constraint handler for indicator constraints
 
file  cons_integral.c
 constraint handler for the integrality constraint
 
file  cons_knapsack.c
 Constraint handler for knapsack constraints of the form \(a^T x \le b\), x binary and \(a \ge 0\).
 
file  cons_linear.c
 Constraint handler for linear constraints in their most general form, \(lhs <= a^T x <= rhs\).
 
file  cons_linking.c
 constraint handler for linking constraints
 
file  cons_logicor.c
 Constraint handler for logic or constraints \(1^T x \ge 1\) (equivalent to set covering, but algorithms are suited for depth first search).
 
file  cons_nonlinear.c
 constraint handler for nonlinear constraints \(\textrm{lhs} \leq \sum_{i=1}^n a_ix_i + \sum_{j=1}^m c_jf_j(x) \leq \textrm{rhs}\)
 
file  cons_or.c
 Constraint handler for "or" constraints, \(r = x_1 \vee x_2 \vee \dots \vee x_n\).
 
file  cons_orbisack.c
 constraint handler for orbisack constraints
 
file  cons_orbitope.c
 constraint handler for (partitioning/packing/full) orbitope constraints w.r.t. the full symmetric group
 
file  cons_pseudoboolean.c
 constraint handler for pseudo Boolean constraints
 
file  cons_quadratic.c
 constraint handler for quadratic constraints \(\textrm{lhs} \leq \sum_{i,j=1}^n a_{i,j} x_i x_j + \sum_{i=1}^n b_i x_i \leq \textrm{rhs}\)
 
file  cons_setppc.c
 Constraint handler for the set partitioning / packing / covering constraints \(1^T x\ \{=, \le, \ge\}\ 1\).
 
file  cons_soc.c
 constraint handler for second order cone constraints \(\sqrt{\gamma + \sum_{i=1}^{n} (\alpha_i\, (x_i + \beta_i))^2} \leq \alpha_{n+1}\, (x_{n+1}+\beta_{n+1})\)
 
file  cons_sos1.c
 constraint handler for SOS type 1 constraints
 
file  cons_sos2.c
 constraint handler for SOS type 2 constraints
 
file  cons_superindicator.c
 constraint handler for indicator constraints over arbitrary constraint types
 
file  cons_symresack.c
 constraint handler for symresack constraints
 
file  cons_varbound.c
 Constraint handler for variable bound constraints \(lhs \le x + c y \le rhs\).
 
file  cons_xor.c
 Constraint handler for "xor" constraints, \(rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n\).