Code

Basis variables independence#34

Code

Merged

guykatzz merged 8 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom ShantanuThakoor:basisVariablesIndependenceCopy head branch name to clipboardMay 15, 2018

+476-39

Commits

Commits on May 9, 2018

• Better choosing of basic variables

  ShantanuThakoor

  committed
  73f3a92

• Fixed max relu tests

  ShantanuThakoor

  committed
  6bf1348

• Simpler way to keep track of independent columns

  ShantanuThakoor

  committed
  aa828b8

• Fixed test asserting auxiliary vars are basic

  ShantanuThakoor

  committed
  3597481

• cosmetics

  GuyKatzHuji

  committed
  6a09853

• added mock infrastructure for ConstraintMatrixAnalyzer in order to fix

  Show description for 2d9cf47
  GuyKatzHuji

  committed
  2d9cf47

Commits on May 15, 2018

• Test that linearly independent rows of full-rank A matrix chosen as B0

  ShantanuThakoor

  committed
  c6dc177

• Add constraint analyzer factory to makefile in maraboupy

  ShantanuThakoor

  committed
  a3feaa5