自動更新自作すればストレスフリーだぞ
solverにかかる金なんて微々たるもんだし