XML-SAT

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

에 대해 XML-SAT

Minisat를 기반으로 하는 모듈식 SAT 솔버입니다. 모듈은 펄 스크립트에 의해 처리되는 XML 파일에 설명되어 있습니다. 따라서 n-솔버를 생성합니다.