ipapusha/amnet

Issues

• add yices support

  #8 opened 7 years ago by ipapusha
  0

• Reimplement relu_amn using fewest number of nodes

  #6 opened 7 years ago by ipapusha
  1

• Get rid of stack() in example_vgc() and in amn.py

  #1 opened 7 years ago by ipapusha
  1

• Variable stacking

  #2 opened 7 years ago by ipapusha
  0

• Get rid of MNIST_data in tests/ and examples/

  #5 opened 7 years ago by ipapusha
  0

• TF eval testing error

  #4 opened 7 years ago by ipapusha
  1