Code

Merge from master#4

Code

Merged

guykatzz merged 4 commits intoguykatzz:masterguykatzz/Marabou:masterfrom NeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterCopy head branch name to clipboardApr 20, 2020

+250-258

Commits

Commits on Apr 2, 2020

• Add python trouble shooting for windows

  yuvaljacoby

  authored
  280e027

  Copy full SHA for 280e027

Commits on Apr 6, 2020

• Optimize floatutils (#191)

  Show description for 7422477
  yuvaljacoby

  authored
  7422477

  Copy full SHA for 7422477

Commits on Apr 7, 2020

• use sat/unsat instead of SAT/UNSAT (#237)

  Show description for 41ccc59
  ahmed-irfan

  authored
  41ccc59

  Copy full SHA for 41ccc59

Commits on Apr 13, 2020

• fix typo (#241)

  Show description for 98a0fde
  

  kjulian3

  and

  guykatzz

  authored
  98a0fde

  Copy full SHA for 98a0fde