https://github.com/NeuralNetworkVerification/Marabou
Tip revision: e9246223ebfcf7b92ac262c39519b2f3334ed8f2 authored by Aleksandar Zeljic on 07 February 2019, 13:38:23 UTC
Added the structure of the evaluation of the artifact.
Added the structure of the evaluation of the artifact.
Tip revision: e924622
| File | Mode | Size |
|---|---|---|
| bin | ||
| cpp_interface_example | ||
| evaluation | ||
| executable_example | ||
| maraboupy | ||
| python_examples | ||
| regress | ||
| src | ||
| tools | ||
| .gitignore | -rw-r--r-- | 624 bytes |
| .travis.yml | -rw-r--r-- | 103 bytes |
| AUTHORS | -rw-r--r-- | 1.1 KB |
| ArtifactReadme.txt | -rw-r--r-- | 32.9 KB |
| COPYING | -rw-r--r-- | 1.9 KB |
| Makefile | -rw-r--r-- | 698 bytes |
| Places.mk | -rw-r--r-- | 885 bytes |
| Rules.mk | -rw-r--r-- | 2.6 KB |
| THANKS | -rw-r--r-- | 100 bytes |
