Default constraint handlers

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\).