Minion Hızlı ve Ölçeklenebilir Kısıtlama Çözücü
Şimdi İndirin

Minion Sıralama ve Özet

Minion Etiketler

çözmek çözücü kısıtlama kısıtlama çözücü kısıtlamayı çözmek kontrent çözümü

Minion Açıklama

Hızlı ve ölçeklenebilir kısıtlama çözücü Minion, çok hızlı olan ve problem büyüklüğü arttıkça ölçeklendiren yeni bir kısıtlama çözücüsüdür. Standart kriterlere ilişkin ampirik sonuçlar, en gelişmiş kısıtlama araçlarına göre büyüklük performans kazanımlarını gösterir. Bu kazanımlar problem büyüklüğü ile artmıştır - Minion, ölçeklenebilir kısıtlama çözme sağlar. Minion, matris modellerinin ortak kısıtlama modelleme cihazına dayanan etkileyici bir giriş dili olan genel amaçlı bir kısıtlama çözücüsüdür. Matris modellerine odaklanmak, yağsız, yüksek optimize edilmiş bir uygulamayı destekler. Bu, daha fazla modelleme ve çözme seçeneği sunmak için, hem performansın hem de kullanılabilirliğin maliyetinde giderek daha karmaşık hale geldikleri mevcut kısıtlama araçlarına zıtlıklar. Minion, kullanıcı bakış açısından kara bir kutudur, bu Çok az seçenek. Ham hızıyla birleştirilen bu, Puget'in "model ve işletme 'kısıtlama paradigmasına doğru ciddi bir adım kazandırır. Not: Minion hala gelişmenin beta aşamasında. Hatalar beklenebilir. Bu sürümde yenilikler: İyileştirmeler: · Kod temizlendi ve daha kolay anlaşılabilir ve değiştirilebilir olarak modülerleştirildi. · Bilgi modunda daha fazla bilgi mevcuttur · Bazı küçük bugfix'ler Performans Geliştirmeleri: · Boole değişkenleri için bağlı kontroller daha verimlidir · Giriş dosyaları daha hızlı ayrıştırılır Diğer değişiklikler: · Derleme sistemi şimdi testleri çalıştırmak için hedefler oluşturur · Artık ana direcotry'de inşa edilmez, ancak ayrı bir dizinde (yani, istediğiniz gibi aynı kaynağın farklı şekilde yapabileceğiniz anlamına gelir) · Daha iyi Cygwin desteği

Minion İlgili Yazılım