Personalized Canine Diet Generation Using Machine Learning and Constraint Optimization | Synapse