Skip to content

Commit

Permalink
Merge branch 'master' of https://github.com/sisl/NNet
Browse files Browse the repository at this point in the history
  • Loading branch information
kjulian3 committed Nov 16, 2019
2 parents 1afaeb0 + c9031df commit 372a200
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
## NNet Repository

[![Build Status](https://travis-ci.org/sisl/NNet.svg?branch=master)](https://travis-ci.org/sisl/NNet)
[![Coverage Status](https://coveralls.io/repos/github/sisl/NNet/badge.svg?branch=master)](https://coveralls.io/github/sisl/NNet?branch=master)
[![Coverage Status](https://coveralls.io/repos/github/sisl/NNet/badge.svg?branch=master&service=github)](https://coveralls.io/github/sisl/NNet?branch=master)

### Introduction
The .nnet file format for fully connected ReLU networks was originially created in 2016 to define aircraft collision avoidance neural networks in a human-readable text document. Since then it was incorporated into the Reluplex repository and used to define benchmark neural networks.
Expand Down

0 comments on commit 372a200

Please sign in to comment.