Scippy

SCIP

Solving Constraint Integer Programs

Constraint Handler

Detailed Description

This page contains a list of all constraint handlers which are currently available.

A detailed description what a constraint handler does and how to add a constraint handler to SCIP can be found here.

Files

file  cons_abspower.h
 Constraint handler for absolute power constraints $\textrm{lhs} \leq \textrm{sign}(x+a) |x+a|^n + c z \leq \textrm{rhs}$.
 
file  cons_and.h
 Constraint handler for "and" constraints, $r = x_1 \wedge x_2 \wedge \dots \wedge x_n$.
 
file  cons_bivariate.h
 constraint handler for bivariate nonlinear constraints $\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$
 
file  cons_bounddisjunction.h
 constraint handler for bound disjunction constraints $(x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)$
 
file  cons_conjunction.h
 constraint handler for conjunction constraints
 
file  cons_countsols.h
 Constraint handler for counting feasible solutions.
 
file  cons_cumulative.h
 constraint handler for cumulative constraints
 
file  cons_disjunction.h
 constraint handler for disjunction constraints
 
file  cons_indicator.h
 constraint handler for indicator constraints
 
file  cons_integral.h
 constraint handler for the integrality constraint
 
file  cons_knapsack.h
 Constraint handler for knapsack constraints of the form $a^T x \le b$, x binary and $a \ge 0$.
 
file  cons_linear.h
 Constraint handler for linear constraints in their most general form, $lhs <= a^T x <= rhs$.
 
file  cons_linking.h
 constraint handler for linking binary variables to an integer variable
 
file  cons_logicor.h
 Constraint handler for logicor constraints $1^T x \ge 1$ (equivalent to set covering, but algorithms are suited for depth first search).
 
file  cons_nonlinear.h
 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.h
 Constraint handler for "or" constraints, $r = x_1 \vee x_2 \vee \dots \vee x_n$.
 
file  cons_orbitope.h
 constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group
 
file  cons_pseudoboolean.h
 constraint handler for pseudoboolean constraints
 
file  cons_quadratic.h
 constraint handler for quadratic constraints $\textrm{lhs} \leq \sum_{i,j=1}^n a_{i,j} x_ix_j + \sum_{i=1}^n b_i x_i \leq \textrm{rhs}$
 
file  cons_setppc.h
 Constraint handler for the set partitioning / packing / covering constraints $1^T x\ \{=, \le, \ge\}\ 1$.
 
file  cons_soc.h
 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.h
 constraint handler for SOS type 1 constraints
 
file  cons_sos2.h
 constraint handler for SOS type 2 constraints
 
file  cons_superindicator.h
 constraint handler for indicator constraints over arbitrary constraint types
 
file  cons_varbound.h
 Constraint handler for variable bound constraints $lhs \leq x + c y \leq rhs$.
 
file  cons_xor.h
 Constraint handler for "xor" constraints, $rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n$.