solver files