RedSam

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.0/5 - ‎1 ‎투표

에 대해 RedSam

제약 문제 이진 제약 조건에 대한 해결사, 현재 형식 XCSP 2.1XML의 입력 파일, 2008 CSP / MaxCSP / WCSP 해결사 경쟁에 채택. 솔버는 C++에 있으며 부스트 라이브러리를 사용합니다.