Pytorch implementation of constrained weight operator norms for robustness and monotonicity in neural networks.