Este es el comando coala.bin que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
coala.bin: un compilador versátil de lenguajes de acción para responder a programas establecidos
SINOPSIS
carbona.bin [opciones]presentar
DESCRIPCIÓN
Esta página de manual documenta brevemente la carbona.bin mando.
carbona.bin es un compilador versátil de lenguajes de acción para responder a programas establecidos. Eso
admite diferentes codificaciones, variables y consultas de estilo LTL. Traduce una acción
lenguaje en un programa lógico bajo la semántica del conjunto de respuestas. Después de ser castigado por
lpar or Gringo, el programa lógico se puede resolver mediante un solucionador de conjuntos de respuestas como corchete.
En el momento carbona.bin es capaz de traducir el lenguaje de acción AL, B, C, un subconjunto de C +
y el lenguaje de acción CTAID. El tipo de idioma de entrada se puede especificar con un comando
opción de línea.
CAMPUS
Estos programas siguen la sintaxis habitual de la línea de comandos GNU, con opciones largas que comienzan con
dos guiones (`- '). Un resumen de las opciones se incluye a continuación. Para una descripción completa,
ver la guía potassco.
-h, --ayuda
Mostrar resumen de opciones.
Use coala.bin en línea usando los servicios de onworks.net