org.chocosolver.solver.constraints.reification
Classes
PropConditionnal
PropOpposite
PropReif