RedSam

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara

Tentang RedSam

Batasan Masalah Kepuasan Solver untuk batasan Biner, input file di XML dengan format saat ini XCSP 2.1, diadopsi untuk kompetisi pemecah CSP / MaxCSP / WCSP 2008. Solver berada di C++ dan menggunakan library boost