Dit is de opdracht coala.bin die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
coala.bin - een veelzijdige compiler van actietalen tot antwoordprogramma's
KORTE INHOUD
coala.bin [Opties]filet
PRODUCTBESCHRIJVING
Deze handleiding documenteert in het kort de: coala.bin opdracht.
coala.bin is een veelzijdige compiler van actietalen tot antwoordprogramma's. Het
ondersteunt verschillende coderingen, variabelen en LTL-stijlquery's. Het vertaalt een actie
taal in een logisch programma onder de antwoordset-semantiek. Na huisarrest te hebben gekregen van
Ontleden or gringo, kan het logische programma worden opgelost door een antwoordsetoplosser zoals sluiting.
Momenteel coala.bin kan de actietaal AL, B, C, een subset van C+, vertalen
en de actietaal CTAID. Het type invoertaal kan met een commando worden opgegeven
lijn optie.
OPTIES
Deze programma's volgen de gebruikelijke GNU-opdrachtregelsyntaxis, met lange opties die beginnen met
twee streepjes (`-'). Hieronder vindt u een overzicht van de mogelijkheden. Voor een volledige beschrijving,
zie de potassco-gids.
-H, --help
Overzicht van opties weergeven.
Gebruik coala.bin online met behulp van onworks.net-services
