To jest polecenie coala.bin, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
cola.bin - wszechstronny kompilator od języków akcji po programy odpowiedzi
STRESZCZENIE
cola.bin [opcje]filet
OPIS
Ta strona podręcznika opisuje pokrótce cola.bin dowództwo.
cola.bin jest wszechstronnym kompilatorem od języków akcji po programy odpowiedzi. Ono
obsługuje różne kodowania, zmienne i zapytania w stylu LTL. Tłumaczy działanie
język do programu logicznego pod semantyką zestawu odpowiedzi. Po uziemieniu przez
parsować or gringo, program logiczny można rozwiązać za pomocą solwera zestawu odpowiedzi, takiego jak zapięcie.
W chwili cola.bin potrafi przetłumaczyć język działań AL, B, C, podzbiór C+
oraz język działania CTAID. Typ języka wprowadzania można określić za pomocą polecenia
opcja linii.
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.
Korzystaj z cola.bin online za pomocą usług onworks.net