/Aletheia

A Python package for unwrapping ReLU DNNs