Это команда cudf2lp, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
cudf2lp - препроцессор для документов CUDF
СИНТАКСИС
cudf2lp [ВАРИАНТ] ... [ФАЙЛОВ]
ОПИСАНИЕ
cudf2lp упрощает данную спецификацию CUDF и преобразует ее в набор фактов, подходящих для
обрабатываться с помощью заземлителя и решателя ASP - например, гринго(1) и застежка(1). это
предназначен для вызова аспид(1), но также может использоваться независимо.
Он читает из данного ФАЙЛА и из стандартного ввода, если он опущен.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
cudf2lp поддерживает следующие параметры:
-h, --Помогите
распечатать текст справки
-v, --версия
версия для печати и информация о лицензии
-V, --подробный[=N]
установите уровень детализации на N или максимум, если не указан
-c КРИТЫ, - критерии=КРИТЫ
предварительная обработка для определенных критериев оптимизации (по умолчанию нет):
КРИТЫ: нет | параноик | модный | КРИТ\ (','КРИТ\) *
КРИТ : ВОЙТИ считать (УСТАНОВКА) |
| подпись сумма (УСТАНОВКА,ATTR)
| подпись unsat_recommends (УСТАНОВКА)
| подпись выровнен (УСТАНОВКА,ATTR,ATTR)
| подпись notuptodate (УСТАНОВКА)
ВОЙТИ : '+' | '-'
ATTR : Имя атрибута CUDF
УСТАНОВКА : решение | изменено | новый | удалено | вверх | вниз
| installrequest | запрос на обновление | запрос
для обратной совместимости можно использовать следующие псевдонимы:
new = count (новый)
удалено = количество (удалено)
изменено = количество (изменено)
notuptodate = notuptodate (решение)
unsat_recommends = unsat_recommends (решение)
сумма (имя) = сумма (имя, решение)
--добавить все
отключить предварительную обработку и добавить все пакеты
Используйте cudf2lp онлайн с помощью сервисов onworks.net
