MiniZinc2.10.1

Écrire un modèle de haut niveau d'un problème de programmation, d'attribution ou d'autres contraintes, puis utiliser MiniZinc pour examiner des solutions réalisables ou optimiser un objectif sans réécrire le modèle pour chaque solveur. MiniZinc fournit une chaîne d'outils et un IDE pour exprimer les problèmes de satisfaction et d'optimisation des contraintes dans un langage de modélisation lisible. Les bibliothèques de contraintes prédéfinies permettent aux utilisateurs de décrire les règles et les relations à un niveau élevé, tandis que le modèle reste séparé du moteur qui le résout. Cette séparation permet une approche de modélisation pour travailler avec une gamme de résolveurs supportés plutôt que de verrouiller le problème à un résolveur particulier.

FlatZinc relie le modèle orienté vers l'humain avec un traitement spécifique au solveur pour étudier les solutions candidates et les résultats d'optimisation. Les utilisateurs typiques comprennent les apprenants et les éducateurs qui étudient la résolution formelle de problèmes, ainsi que d'autres qui doivent représenter et tester les contraintes structurées dans un contexte éducatif.

MiniZinc 2.10.1 fonctionne sur Linux avec les systèmes snapd et cibles x86 64 (amd64). Il s'agit d'un logiciel open-source développé par MiniZinc à l'Université Monash en collaboration avec Data61 Decision Sciences et l'Université de Melbourne. Inscrit dans Education, il convient aux exercices en classe, aux expériences de solveur et aux modèles d'optimisation où changer le solveur sous-jacent ne devrait pas nécessiter de changer la description du problème.