Це команда lpssim, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
lpssim - симуляція LPS в командному рядку
СИНТАКСИС
lpssim [ВАРІАНТ]... [INFILE]
ОПИС
Змоделюйте LPS в INFILE через текстовий інтерфейс.
ВАРІАНТИ
ВАРІАНТ може бути будь-яке з наступного:
-y, --вузлик
не замінюйте глобальні змінні в LPS фіктивними значеннями
-QNUM, --qlimit=NUM
обмежити перерахування кванторів до NUM змінних. (За замовчуванням NUM=1000, NUM=0 для
необмежений).
-rІМ'Я, --переписувач=ІМ'Я
використовувати стратегію перезапису NAME: 'jitty' jitty rewriting (за замовчуванням) 'jittyc' скомпільовано
jitty переписування 'jittyp' jitty переписування з доказом
-- терміни[=Фото]
додати вимірювання часу до FILE. Вимірювання записуються до стандартної похибки, якщо
FILE не надається
Стандартні опції:
-q, --спокійно
не відображати попереджувальні повідомлення
-v, -багатослівний
відображати короткі проміжні повідомлення
-d, --відлагоджувати
відображати детальні проміжні повідомлення
-- рівень журналу=РІВЕНЬ
відображати проміжні повідомлення до рівня включно
-h, --допомога
відобразити довідкову інформацію
-- версія
відобразити інформацію про версію
Використовуйте lpssim онлайн за допомогою служб onworks.net