프로그램별 s-sat.sf.net

로마에서 대학 & 라 사피엔자 & 쿼트에서 코스 동안 나는 단위 전파 및 역추적을 기반으로 완전히 작동하는 SAT 솔버를 개발; DIMACS 파일을 읽고 길이의 CNF 수식을 처리할 수 있습니다(리터럴 수에는 제한이 없습니다).