Instructions to install Marabou:

	git clone https://github.com/NeuralNetworkVerification/Marabou.git 
	cd Marabou
	mkdir build
	cd build
	cmake ..
	cmake --build .

Instructions to run the tool: 

	cd build
	./Marabou --help
	./Marabou nnet(network) txt(property)

    Please see Marabou/resources/properties for examples of property file. 
    We have attached a converter onnx2nnet.py to convert the network from onnx to nnet format. 

Encoding network and properties into Marabou SAT query:

    Please note that Marabou's property format only supports conjunctions, while MNIST properties involve disjunctions. To encode properties with disjunctions, you may need to utilize Python APIs to encode both the disjunctive properties and the network into a Marabou query. For detailed instructions on how to perform this, please refer to the guidelines provided at https://neuralnetworkverification.github.io/Marabou/