Some work towards the internationalisation of our solvers (#180).