Code

Benchmark#2

Code

Merged

rachellim merged 4 commits intomasterNeuralNetworkVerification/Marabou:masterfrom benchmarkNeuralNetworkVerification/Marabou:benchmarkCopy head branch name to clipboardAug 9, 2017

+820

Commits

Commits on Aug 9, 2017

• Squashed 18 commits into 1! This is an MPS parser. I think it works.

  Show description for a64783e
  rachellim

  committed
  a64783e

• Added python script for comparing marabou and glpk

  rachellim

  committed
  c1c6389

• Update README.md

  rachellim

  authored
  29d60bc

• Update README.md

  rachellim

  authored
  b580f59