Evaluate with customized neuron network?

[kikacaty]

Is it possible? I noticed that the nnet.cpp was implemented to load the neuron network but can't find a way to output network from the common framework as TensorFlow to that format?

[ZifengDing]

Hi! Have you figured out how to load an NN from tf into this framework?

[guykatzz]

Hi,
This project is no longer actively maintained. Please check out its predecessor, the Marabou project, which does support input in the form of TensorFlow networks.

https://github.com/NeuralNetworkVerification/Marabou