A neural network using rectified linear unit activations, which can be exactly embedded in mixed-integer linear programs.