이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 명령 dfg2otter.pl입니다.
프로그램:
이름
dfg2otter - DFG 절 파일을 Otter 옵션을 포함한 Otter 형식으로 변환합니다.
개요
dfg2otter.pl [옵션] [인파일] [아웃파일]
기술
dfg2otter.pl 하는 펄 래퍼 dfg2otter. 주로 OTTER 세트를 추가합니다.
변환 결과에 대한 매개변수 dfg2otter. 또한 입출력
리디렉션이 더 간단합니다. 파일 인수가 제공되지 않으면 dfg2otter.pl stdin에서 읽고
stdout에 씁니다. 하나의 파일 인수가 주어지면, dfg2otter.pl 해당 파일에서 읽고 만약
두 번째 인수가 존재하고, dfg2otter.pl 그것에 씁니다.
옵션
-t n
OTTER 증명 시도의 시간 제한을 다음으로 설정합니다. n 초.
onworks.net 서비스를 사용하여 온라인으로 dfg2otter.pl 사용
