Це командний idfilter, який можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
ladr4-apps - недокументовані програми LADR4
ОПИС
Деякі програми в ladr4-програми пакет наразі не має сторінок посібника. Ви можете отримати
документацію щодо деяких із цих програм через доказувач9 посібник, який доступний на
Системи Debian через пакет prover9-doc, в
/usr/share/doc/prover9-doc/manual/index.html. В якості альтернативи можна викликати програму за допомогою
-допомога опція може надати документацію. Виправлення для додавання сторінок посібника вітаються, і
може бути надіслано розпоряднику пакетів Debian, деталі якого наведено нижче.
Використовуйте idfilter онлайн за допомогою служб onworks.net
