Parallel Sat4J 0.01

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

에 대해 Parallel Sat4J

이것은 학술 프로젝트입니다. 주요 목적은 CNF 수식을 병렬화한 다음 분산 부품을 순차적인 SAT 솔버에 공급하는 알고리즘을 생성하여 Sat4J를 솔버로 사용하기로 선택하는 것입니다.