Structured Pruning of Neural Networks for Constraints Learning