In computational design and fabrication, neural networks are becoming important surrogates for bulky forward simulations. A long-standing, intertwined question is that of inverse design: how to compute a satisfies desired target performance? Here, we show the piecewise linear property, very common in everyday networks, allows an formulation based on mixed-integer programming. Our uncovers globa...