Tests

solver_names()の追加とテスト。
copyrightも修正。