Default constraint handlers

Detailed Description

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

Files
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_exactlinear.c
	Constraint handler for exact linear constraints in their most general form, \(lhs <= a^T x <= rhs\).
file	cons_exactsol.c
	constraint handler for ensuring that primal solution is exact
file	cons_fixedvar.c
	constraint handler that checks bounds on fixed variables
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
	interface for constraint handlers of type partitioning, packing, and full to ensure backwards compatibility
file	cons_orbitope_full.c
	constraint handler for full orbitope constraints w.r.t. the full symmetric group
file	cons_orbitope_pp.c
	constraint handler for partitioning/packing orbitope constraints w.r.t. the full symmetric group
file	cons_pseudoboolean.c
	constraint handler for pseudo Boolean constraints
file	cons_setppc.c
	Constraint handler for the set partitioning / packing / covering constraints \(1^T x\ \{=, \le, \ge\}\ 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\).