Antek pemecah kendala cepat dan scalable
Unduh sekarang

Antek Peringkat & Ringkasan

Antek Tag

menyelesaikan pemecah paksaan pemecah kendala Pecahkan kendala solusi kontrain

Antek Keterangan

Pemecah kendala yang cepat dan terukur Minion, adalah pemecah kendala baru, yang sangat cepat dan timbangan dengan baik karena ukuran masalah meningkat. Hasil empiris pada tolok ukur standar menunjukkan pesanan kenaikan kinerja magnitudo atas toolkits kendala canggih. Keuntungan ini meningkat dengan ukuran masalah --- Minion memberikan Scalable Constraint Solving.Minion adalah pemecah kendala serba guna, dengan bahasa input ekspresif berdasarkan pada perangkat pemodelan batasan umum model matriks. Fokus pada model matriks mendukung implementasi ramping dan optimal. Ini kontras dengan toolkits kendala saat ini, yang, untuk memberikan opsi pemodelan dan pemecahan yang semakin, telah menjadi semakin kompleks dengan biaya kinerja dan kegunaan. Minion adalah kotak hitam dari sudut pandang pengguna, yang sengaja dilengkapi dengan Sangat sedikit pilihan. Ini, dikombinasikan dengan kecepatan mentahnya, menjadikan minion langkah substansial menuju paradigma pemecahan kendala Puget's` Model dan Run '. Catatan: Minion masih dalam tahap pengembangan beta. Bug bisa diharapkan. Apa yang baru dalam rilis ini: Perbaikan: · Kode dibersihkan dan dimodulasi agar lebih mudah dimengerti dan dimodifikasi · Informasi lebih lanjut tersedia dalam mode Info · Beberapa bug perbaikan minor Peningkatan kinerja: · Pemeriksaan terikat untuk variabel Boolean lebih efisien · File input diuraikan lebih cepat Perubahan lainnya: · Sistem Build sekarang menyediakan target untuk menjalankan tes · Build tidak dilakukan di precotyry utama lagi, tetapi di direktori terpisah (artinya Anda dapat memiliki banyak build berbeda dari sumber yang sama dengan yang Anda suka) · Dukungan Cygwin yang lebih baik

Antek Perangkat Lunak Terkait