Code

Update artifact#116

Code

Merged

guykatzz merged 4 commits intocav_artifactNeuralNetworkVerification/Marabou:cav_artifactfrom masterNeuralNetworkVerification/Marabou:masterCopy head branch name to clipboardFeb 6, 2019

+1,174-29,561

Commits

Commits on Feb 1, 2019

• handle redundant rows in the input constraint matrix

  guykatzz

  committed
  f9fcd73

  Copy full SHA for f9fcd73

Commits on Feb 5, 2019

• DnC solver (#113)

  Show description for ecfd91d
  

  wu-haoze

  authored and

  guykatzz

  committed
  ecfd91d

  Copy full SHA for ecfd91d

• Merge branch 'master' of https://github.com/guykatzz/Marabou

  guykatzz

  committed
  5aa1b68

  Copy full SHA for 5aa1b68

• undo an accidental merge in the wrong direction

  guykatzz

  committed
  56d2b2f

  Copy full SHA for 56d2b2f