add macOS install instructions#875

liamzebedee wants to merge 1 commit intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom

liamzebedee:patch-1liamzebedee/Marabou:patch-1Copy head branch name to clipboard