Allow extra arguments to "solve"