Práctica 2 de la asignatura Técnicas de los Sistemas Inteligentes. Curso 24/25.
Uso de MiniZinc para resolver problemas de satisfacción de restricciones.
- Problema del cambio de monedas
- Puzzle lógico
- Problema de la tabla binaria
- Problema de los cuadrados
- Problema de planificación de tareas
- Problema de conformación de tribunales de TFG