Це засіб перевірки команд, який можна запустити у безкоштовного хостинг-провайдера OnWorks за допомогою однієї з наших безкоштовних онлайн-робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
перевірка - SPARK Proof Checker
СИНТАКСИС
шашка [ВАРИАНТИ] [Фото]
ОПИС
SPARK Proof Checker можна використовувати для перевірки умов розряду, створених
Examiner (*.vcg), можливо спрощений за допомогою Simplifier (*.siv). Ця команда зазвичай
використовується, коли умови перевірки не можуть бути скинуті автоматично спрощеником.
За замовчуванням шашка працює в інтерактивному режимі. Він приймає команди від користувача та записує
їх у файл cmd (або інший файл, визначений -командний_журнал варіант). Цей файл може бути
використовується пізніше для запуску шашка у пакетному режимі (за допомогою опції -виконати). Додатково журнал доказів
записується у файл plg.
ВАРІАНТИ
Нижче наведено короткий перелік варіантів. Усі варіанти можна скоротити до найкоротшого
унікальний префікс.
-допомога Показати підсумок варіантів.
-версія
Відобразити інформацію про версію.
- звичайний Прийміть простий стиль виводу (наприклад, без дат або номерів версій).
-overwrite_warning
Для перезапису файлів журналу команд або перевірок потрібне підтвердження.
-журнал_команд=LOG_FILE
Вкажіть ім'я файлу для файлу журналу команд.
-proof_log=PLG_FILE
Укажіть ім’я файлу журналу перевірки.
-виконати=LOG_FILE
Виконайте попередньо створений файл журналу команд.
-резюме
Відновити раніше збережений сеанс.
Використовуйте перевірку онлайн за допомогою сервісів onworks.net