On the two-fold role of logic constraints in deep learn