Tarafından Programlar eclipseclp.org

ECLiPSe Kısıtlama Mantık Programlama Sistemi, kombinatoryal optimizasyon problemlerini çözmek, yeni kısıt çözücü teknolojisinin ve bunların melezlerinin geliştirilmesi ve modelleme, çözme ve arama tekniklerinin öğretilmesi iç