Это команда lps2torx, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
lps2torx - предоставляет интерфейс TorX Explorer для LPS
СИНТАКСИС
лпс2торкс [ВАРИАНТ] ... INFILE
ОПИСАНИЕ
Предоставьте интерфейс проводника TorX для LPS в INFILE.
LPS можно исследовать с помощью TorX, как описано в torx_explorer(5).
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
ВАРИАНТ может быть любым из следующих:
-y, --дурачок
заменить свободные переменные в LPS фиктивными значениями
-QNUM, --qlimit=NUM
ограничить перечисление кванторов до ЧИСЛА переменных. (По умолчанию ЧИСЛО = 1000, ЧИСЛО = 0 для
без ограничений).
-rИМЯ, - пивовар=ИМЯ
использовать стратегию перезаписи NAME: 'jitty' jitty rewriting (по умолчанию) 'jittyc' скомпилирован
jitty rewriting 'jittyp' jitty rewriting с помощью прувера
--сроки[=ФАЙЛОВ]
добавить измерения времени в ФАЙЛ. Измерения записываются со стандартной ошибкой, если
ФАЙЛ не предоставлен
Стандартные варианты:
-q, --тихий
не отображать предупреждающие сообщения
-v, --подробный
отображать короткие промежуточные сообщения
-d, --отлаживать
отображать подробные промежуточные сообщения
--лог-уровень=УРОВЕНЬ
отображать промежуточные сообщения до уровня включительно
-h, --Помогите
отображать справочную информацию
--версия
отображать информацию о версии
Используйте lps2torx онлайн с помощью сервисов onworks.net
