이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 gringo 명령입니다.
프로그램:
이름
gringo - 비접지 논리 프로그램용 접지기
개요
외국인 [OPTION]... [FILE] ...
기술
이 매뉴얼 페이지는 간략하게 설명합니다 외국인 명령.
외국인 비 접지 답변 세트 프로그램의 접지입니다. 현재 답변 세트 솔버 작업
변수가 없는 프로그램에서. 따라서 입력 프로그램이 주어진 경우 접지가 필요합니다.
XNUMX차 변수, 등가 접지(변수 없음) 프로그램을 계산합니다.
옵션
이 프로그램은 일반적인 GNU 명령줄 구문을 따르며 긴 옵션은 다음으로 시작합니다.
두 개의 대시(`-'). 아래에 옵션 요약이 포함되어 있습니다. 완전한 설명을 위해,
potassco 가이드를 참조하십시오.
-시간, --도움
옵션 요약을 표시합니다.
-V, --번역
프로그램의 버전을 표시합니다.
onworks.net 서비스를 사용하여 온라인으로 gringo 사용