이것은 학술 프로젝트입니다. 주요 목적은 CNF 수식을 병렬화한 다음 분산 부품을 순차적인 SAT 솔버에 공급하는 알고리즘을 생성하여 Sat4J를 솔버로 사용하기로 선택하는 것입니다.
버전 기록
- 버전 0.01 에 게시 2008-03-26
몇 가지 수정 및 업데이트 - 버전 0.01 에 게시 2008-03-26
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: parallelsat4j.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 0.01
- 플랫폼: windows