Text this: A Unified view of piecewise linear neural network verification