MiniZinc

MiniZinc est un langage de modélisation de contraintes open source pour Linux. Il est conçu pour décrire les problèmes de satisfaction et d'optimisation des contraintes sans attacher le modèle à un résolveur particulier. Il convient donc aux apprenants, aux éducateurs et aux autres utilisateurs travaillant avec des modèles formels de résolution de problèmes dans un cadre éducatif.

Les modèles peuvent être écrits à un niveau élevé en utilisant une bibliothèque de contraintes prédéfinies. La langue sépare la description du problème du résolveur utilisé pour la traiter. Cela permet d'utiliser la même approche de modélisation avec une gamme de solveurs supportés.

Après la création d'un modèle, MiniZinc le compile dans FlatZinc. FlatZinc est un langage d'entrée de solveur compris par un large éventail de solveurs. Cette étape de compilation relie le modèle lisible au traitement spécifique au solveur nécessaire pour examiner les solutions ou les résultats d'optimisation.

MiniZinc est listé dans la catégorie Éducation pour la plateforme Linux. Il est développé à l'Université Monash en collaboration avec Data61 Decision Sciences et l'Université de Melbourne. MirrorNest distribue la construction officielle de Linux directement à partir de son propre stockage et le scanne pour les logiciels malveillants avant de le publier.