프로그램별 psat.sf.net

PSAT 무료

이것은 논리적 인 접근 방식에서 확률 적 Satisfiability (PSAT) 문제를 결정하기위한 소프트웨어를 생산하기위한 프로젝트입니다.