The package uses these mutable variables to store the paths of the executables. They can be edited by the user. The preferred way to do this is changeSolver, though.