MiniZinc2.10.1

Bir zamanlama, tahsis veya diğer kısıtlama sorununun üst düzey bir modelini yazın, daha sonra uygulanabilir çözümleri incelemek için MiniZinc kullanın veya her bir çözücü için modeli yeniden yazmadan bir hedefi optimize edin. MiniZinc, okunabilir bir modelleme dilinde kısıtlama memnuniyeti ve optimizasyon sorunlarını ifade etmek için paketlenmiş bir dil araç zinciri ve IDE sağlar. Önceden tanımlanmış kısıtlama kütüphaneleri, kullanıcıların kuralları ve ilişkileri yüksek düzeyde tanımlamasına izin verirken, model bunu çözen motordan ayrı kalır. Bu ayırma, bir modelleme yaklaşımının sorunu belirli bir çözücüye kilitlemek yerine bir dizi desteklenen çözücü ile çalışmasına izin verir.

FlatZinc, aday çözümleri ve optimizasyon sonuçlarını araştırmak için insan odaklı modeli çözücüye özgü işleme ile birleştirir. Tipik kullanıcılar, formel problem çözmeyi inceleyen öğrenenler ve eğitimcileri ve ayrıca yapılandırılmış kısıtlamaları bir eğitim ortamında temsil etmesi ve test etmesi gereken diğer kişileri içerir.

MiniZinc 2.10.1, Linux üzerinde snaped ile çalışır ve x86_64 (amd64) sistemlerini hedefler. MiniZinc tarafından Monash Üniversitesi'nde Data61 Karar Bilimleri ve Melbourne Üniversitesi ile işbirliği içinde geliştirilen açık kaynaklı bir yazılımdır. Eğitimde listelenen, temel çözücünün değiştirilmesinin problem tanımını değiştirmeyi gerektirmemesi gereken sınıf alıştırmalarına, çözücü deneylerine ve optimizasyon modellerine uygundur.