MiniZinc

MiniZinc ist eine Open-Source-Constraint-Modellierungssprache für Linux. Es ist für die Beschreibung von Constraint-Zufriedenheit und Optimierungsproblemen konzipiert, ohne das Modell an einen bestimmten Solver zu binden. Dies macht es für Lernende, Pädagogen und andere Benutzer geeignet, die mit formalen Problemlösungsmodellen in einem pädagogischen Umfeld arbeiten.

Modelle können auf einem hohen Niveau mit einer Bibliothek von vordefinierten Einschränkungen geschrieben werden. Die Sprache trennt die Problembeschreibung von dem Löser, der sie verarbeitet. Dies ermöglicht den gleichen Modellierungsansatz mit einer Reihe von unterstützten Solvern.

Nachdem ein Modell erstellt wurde, kompiliert MiniZinc es in FlatZinc. FlatZinc ist eine Solver-Eingabesprache, die von einer Vielzahl von Solvern verstanden wird. Dieser Kompilierungsschritt verbindet das auslesbare Modell mit der lösungsmittelspezifischen Verarbeitung, die zur Untersuchung von Lösungen oder Optimierungsergebnissen erforderlich ist.

MiniZinc ist in der Kategorie Bildung für die Linux-Plattform aufgeführt. Es wird an der Monash University in Zusammenarbeit mit Data61 Decision Sciences und der University of Melbourne entwickelt. MirrorNest verteilt den offiziellen Linux-Build direkt aus seinem eigenen Speicher und scannt ihn auf Malware, bevor er ihn veröffentlicht.