Set solver to read numbers from files