Question: which model would you go with for your solver implementation? What are the pros and cons of each?