Allow user-specified solver in Repairman