LocalConstructiveDisjunction 
Project: choco.

Opposite 
Default opposite of a constraint

PropConditionnal 
A specific propagator which posts constraint on condition.

PropLocalConDis 
A propagator for constructive disjunction, with local deductions.

PropOpposite 
Constraint representing the negation of a given constraint
does not filter but fails if the given constraint is satisfied
Can be used within any constraint

PropReif 
Implication propagator

PropXeqCReif 
A propagator dedicated to express in a compact way: (x = c) ⇔ b

PropXeqYReif 
A propagator dedicated to express in a compact way: (x = y) ⇔ b

PropXgtCReif 
A propagator dedicated to express in a compact way: (x > c) ⇔ b

PropXinSReif 
A propagator dedicated to express in a compact way: (x = c) ⇔ b

PropXltCReif 
A propagator dedicated to express in a compact way: (x < c) ⇔ b

PropXltYCReif 
A propagator dedicated to express in a compact way: (x < y + c) ⇔ b

PropXltYReif 
A propagator dedicated to express in a compact way: (x < y) ⇔ b

PropXneCReif 
A propagator dedicated to express in a compact way: (x ≠ c) ⇔ b

PropXneYReif 
A propagator dedicated to express in a compact way: (x ≠ y) ⇔ b
