Rm python2#236

Open

ahmed-irfan wants to merge 9 commits intoNeuralNetworkVerification:masterfrom

ahmed-irfan:rm-python2

Commits on Feb 6, 2020

fix a couple of warnings
ahmed-irfan
committed

Commits on Feb 11, 2020

Merge branch 'master' of github.com:NeuralNetworkVerification/Marabou
ahmed-irfan
committed

Commits on Feb 13, 2020

Merge branch 'master' of github.com:NeuralNetworkVerification/Marabou
ahmed-irfan
committed

Commits on Feb 26, 2020

Merge branch 'master' of github.com:NeuralNetworkVerification/Marabou
ahmed-irfan
committed

Commits on Mar 23, 2020

Merge branch 'master' of github.com:NeuralNetworkVerification/Marabou
ahmed-irfan
committed

Commits on Mar 25, 2020

Merge branch 'master' of github.com:NeuralNetworkVerification/Marabou
ahmed-irfan
committed

Commits on Mar 30, 2020