Default constraint handlers

Detailed Description

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

Files
file	cons_abspower.c
	some API functions of removed 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_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 specified by algebraic expressions
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
	some API functions of removed constraint handler for quadratic constraints $\textrm{lhs} \leq \sum_{i,j} a_{i,j} x_i x_j + \sum_i 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
	some API functions of removed 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$.