MiniZinc2.10.1

Scrivere un modello di alto livello di un problema di pianificazione, assegnazione o altro problema di vincoli, quindi utilizzare MiniZinc per esaminare soluzioni possibili o ottimizzare un obiettivo senza riscrivere il modello per ogni risolutore. MiniZinc fornisce una toolchain linguistica e un IDE integrati per esprimere problemi di soddisfacimento e ottimizzazione dei vincoli in un linguaggio di modellazione leggibile. Le librerie di vincoli predefinite permettono agli utenti di descrivere regole e relazioni ad alto livello, mentre il modello rimane separato dal motore che lo risolve. Questa separazione consente di utilizzare un approccio di modellazione con una gamma di risolutori supportati, invece di vincolare il problema a un determinato risolutore.

FlatZinc collega il modello orientato all'uomo con l'elaborazione specifica del risolutore per indagare le soluzioni e i risultati di ottimizzazione dei candidati. Gli utenti tipici includono studenti ed educatori che studiano la risoluzione dei problemi formali, così come altri che hanno bisogno di rappresentare e testare vincoli strutturati in un ambiente educativo.

MiniZinc 2.10.1 funziona su Linux con sistemi a scatto e obiettivi x86 64 (amd64). Si tratta di software open source sviluppato da MiniZinc presso la Monash University in collaborazione con Data61 Decision Sciences e l'Università di Melbourne. Elencato in Educazione, si adatta a esercizi di classe, esperimenti di solvente e modelli di ottimizzazione in cui cambiare il risolutore sottostante non dovrebbe richiedere di cambiare la descrizione del problema.