PSAT

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

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

버전 기록

  • 버전 PsatColGen 에 게시 2011-03-16
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2011-03-16

프로그램 세부 정보