/NNet

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.