Python 2 is going away at the end of 2019, so supporting it is rather pointless now.
Having recently run a competition (Smallpeice 2019) where we used only Python 3 to run srcomp things, we can be fairly sure that that works.
I also propose that we drop support for Python < 3.5 so that we can start to introduce type annotations. Ideally we'd move to Python >= 3.6 so we get the even nicer form of the annotations, however many people will still be on the previous Debian stable (or derivatives) which only has 3.5. In any case, 3.5 is already a step from where we are now and we can always go further in the future.
Python 2 is going away at the end of 2019, so supporting it is rather pointless now.
Having recently run a competition (Smallpeice 2019) where we used only Python 3 to run srcomp things, we can be fairly sure that that works.
I also propose that we drop support for Python < 3.5 so that we can start to introduce type annotations. Ideally we'd move to Python >= 3.6 so we get the even nicer form of the annotations, however many people will still be on the previous Debian stable (or derivatives) which only has 3.5. In any case, 3.5 is already a step from where we are now and we can always go further in the future.