Это команда coala, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
coala - универсальный компилятор из языков действий для ответов на программы
СИНТАКСИС
Коала [опции]файл[Число]
ОПИСАНИЕ
Эта страница руководства кратко документирует Коала команда.
Коала - это универсальный компилятор языков действий для программ набора ответов. Он поддерживает
разные кодировки, переменные и запросы в стиле LTL. Он переводит язык действий
в логическую программу в соответствии с семантикой набора ответов. После того, как был заземлен lparse or
гринго, логическая программа может быть решена с помощью решателя набора ответов, такого как застежка, На
момент Коала может переводить язык действий AL, B, C, подмножество C + и
CTAID языка действий. Тип языка ввода можно указать в командной строке.
опцию.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
Эти программы следуют обычному синтаксису командной строки GNU с длинными параметрами, начинающимися с
два тире (`- '). Сводка опций приведена ниже. Для полного описания,
см. руководство по potassco.
-час, --Помогите
Показать сводку опций.
--версия
Показать версию программы.
Используйте coala онлайн с помощью сервисов onworks.net
