We can now choose at command line which problem to solve.