Hạn chế sự hài lòng vấn đề solver cho nhị phân hạn chế, đầu vào tập tin trong XML với định dạng hiện tại XCSP 2.1, thông qua cho các 2008 CSP/MaxCSP/WCSP giải cạnh tranh. Bộ giải nằm trong C++ và sử dụng thư viện tăng cường
lịch sử phiên bản
- Phiên bản RedSam đăng trên 2008-03-26
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2008-03-26
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: redsam.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows