Minisat를 기반으로 하는 모듈식 SAT 솔버입니다. 모듈은 펄 스크립트에 의해 처리되는 XML 파일에 설명되어 있습니다. 따라서 n-솔버를 생성합니다.
버전 기록
- 버전 release 에 게시 2010-04-24
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2010-04-24
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: xml-sat.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: linux
Minisat를 기반으로 하는 모듈식 SAT 솔버입니다. 모듈은 펄 스크립트에 의해 처리되는 XML 파일에 설명되어 있습니다. 따라서 n-솔버를 생성합니다.