This overloaded C++ operator creates a conjunctive constraint that represents the conjunction of its two parameters. The constraint can represent a conjunction of two constraints; of a constraint and another conjunction; or of two conjunctions. In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.