uploading solvers