Add Amesos solving to the example.