RedSam

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

Về RedSam

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