Jest to polecenie gringo, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu darmowych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
gringo - uziemiacz dla nie-uziemionych programów logicznych
STRESZCZENIE
gringo [OPCJA]... [FILE] ...
OPIS
Ta strona podręcznika opisuje pokrótce gringo dowództwo.
gringo jest uziemieniem dla programów z nieuziemionymi zestawami odpowiedzi. Aktualne solwery zestawów odpowiedzi działają
na programach bez zmiennych. Dlatego potrzebne jest uziemienie, które, biorąc pod uwagę program wejściowy z
zmienne pierwszego rzędu, oblicza równoważny program podstawowy (bez zmiennych).
OPCJE
Te programy działają zgodnie ze zwykłą składnią wiersza poleceń GNU, z długimi opcjami zaczynającymi się od
dwie myślniki (`-'). Podsumowanie opcji znajduje się poniżej. Aby uzyskać pełny opis,
zobacz Potassco-przewodnik.
-H, --help
Pokaż podsumowanie opcji.
-v, --wersja
Pokaż wersję programu.
Korzystaj z gringo online za pomocą usług onworks.net