Measuring Neural Net Robustness with Constraints