disjuntive constraint

This code was done by laboratorios