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