Define affine transformation of neurons in a neural network. Assuming neuron x and constants a b, an example affine transformation is a * x +

Define constraints on neurons of a neural network. Assuming neuron x, constants a b, and an affine transformation a * x + b, then example

This class reads a property from a text file, and stores the property's constraints within an InputQuery object. Currently, properties can involve

Class representing a Marabou network from an NNet file Inherits from MarabouNetwork class Attributes: numLayers (int): T

A certificate node in the tree representing the UNSAT certificate */

Python class to conveniently represent :class:`~maraboupy.MarabouCore.Equation` Attributes: addendList (list of tuples): Each addend tupl

Constructs a MarabouNetworkONNX object from an ONNX file Args: filename (str): Path to the ONNX file inputNames: (list of str, op

Constructs a MarabouNetworkTF object from a frozen Tensorflow protobuf or SavedModel Args: filename (str): Path to tensorflow network

Class for parsing ONNX files. Should eventually be implemented by a renamed `ONNXParser.cpp` on the C++ side.

A singleton class that contains all the options and their values. */

Neural Network Struct

First define your enumeration