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