프로그램별 redsam.sf.net

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