제약 문제 이진 제약 조건에 대한 해결사, 현재 형식 XCSP 2.1XML의 입력 파일, 2008 CSP / MaxCSP / WCSP 해결사 경쟁에 채택. 솔버는 C++에 있으며 부스트 라이브러리를 사용합니다.
버전 기록
- 버전 RedSam 에 게시 2008-03-26
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2008-03-26
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: redsam.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows