MiniZinc2.10.1

Schreiben Sie ein High-Level-Modell eines Scheduling-, Allokations- oder anderen Einschränkungsproblems und verwenden Sie dann MiniZinc, um mögliche Lösungen zu untersuchen oder ein Ziel zu optimieren, ohne das Modell für jeden Solver neu zu schreiben. MiniZinc bietet eine gebündelte Sprach-Toolchain und IDE zum Ausdruck von Einschränkungszufriedenheit und Optimierungsproblemen in einer lesbaren Modellierungssprache. Vordefinierte Constraint-Bibliotheken ermöglichen es Benutzern, Regeln und Beziehungen auf hohem Niveau zu beschreiben, während das Modell von der Engine, die es löst, getrennt bleibt. Diese Trennung ermöglicht es einem Modellierungsansatz, mit einer Reihe von unterstützten Solvern zu arbeiten, anstatt das Problem an einen bestimmten Solver zu sperren.

FlatZinc verbindet das menschenorientierte Modell mit der lösungsmittelspezifischen Verarbeitung zur Untersuchung von Kandidatenlösungen und Optimierungsergebnissen. Typische Benutzer sind Lernende und Pädagogen, die formale Problemlösung studieren, sowie andere, die strukturierte Einschränkungen in einem pädagogischen Umfeld darstellen und testen müssen.

MiniZinc 2.10.1 läuft unter Linux mit Snapd und Targets x86 64 (amd64) Systemen. Es ist eine Open-Source-Software, die von MiniZinc an der Monash University in Zusammenarbeit mit Data61 Decision Sciences und der University of Melbourne entwickelt wurde. Es ist in Education aufgeführt und eignet sich für Klassenübungen, Solver-Experimente und Optimierungsmodelle, bei denen das Ändern des zugrunde liegenden Solvers keine Änderung der Problembeschreibung erfordern sollte.