Off Topic - Necesito ayuda con unos problemas en Minizinc

Hola a todos, necesito acudir a ustedes para que me brinden una ayuda a cerca de estos ejercicios que tengo que realizar pero no he podido con ellos, es acerca del lenguaje de programación por restricciones y la verdad se me ha hecho muy difícil realizarlos, si ustedes podrían ayudarme sería fantástico, los problemas son los siguientes:

1. En una granja de pollos se tiene una dieta para engordar, la cual consiste de una
composición mínima de 15 unidades de una sustancia A y otras 15 de una sustancia
B.
En el mercado sólo se encuentra dos clases de compuestos: el tipo X con una
composición de 1 unidad de A y 5 de B, y el otro tipo, Y, con una composición de 5
unidades de A y 1 de B. El precio del tipo X es de 10 pesos y del tipo
Y es de 25 pesos
¿Qué cantidades se han de comprar de cada tipo para cubrir las necesidades con un
costo mínimo?
Realizar el modelo compacto y encontrar la solución óptima en minizinc

2. Se dispone de 600 g de un determinado fármaco para elaborar pastillas
grandes y pequeñas. Las grandes pesan 40 g y las pequeñas 30 g.
Se necesitan al menos tres pastillas grandes, y al menos el doble de
pequeñas que de las grandes. Cada pastilla grande proporciona un
beneficio de $2 y la pequeña de $1.
¿Cuántas pastillas se han de elaborar de cada clase para que el beneficio sea máximo?
Realizar el modelo extendido y encontrar la solución óptima en minizinc

Hola a todos, he logrado solucionarlo. muchas gracias igualmente.