Clarify the licenses and origins of various solvers.