Je pense que cette application à l'air d'être un bon candidat
pour des méthodes de résolution par programmation linéaire.

Je ne vais pas pouvoir entrer dans les détails ici, mais il s'agit
en fait effectivement d'une méthode à base de contraintes (des
inéquations) où le but est d'optimiser (minimiser ou maximiser
un paramètre). Il existe des méthodes de programmation, des algorithmes
(pouvant aussi être appliqués à la main) traitant des matrices, généralement
basés sur la méthode du simplexe.

Un exemple d'application concernant cette méthode, connaisant les
prix de revient de chaque éléments succeptibles de rentrer en composition
dans la nourriture pour chiens, et connaissant tout un système de
contraintes (il faut qu'un ration apporte la quantité nécessaire
de lipides, pas plus de deux fois les AJR de qqch, etc....) les fabricants
de nourriture pour animaux vont chercher à minimiser les couts de
revient tout en respectant leurs obligations.

Pour avoir plus de détails, je te renvois sur un moteur de recherche :



Bonne chance