Это тестер команд, который можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
clausetester - проверять формулы в моделях
СИНТАКСИС
тестер <файл интерпретаций> <файл формул>>файл с аннотированными формулами>
ОПИСАНИЕ
Эта страница руководства кратко документирует тестер команда.
Эта программа принимает набор интерпретации и поток формулы. Для каждой формулы
показаны интерпретации, в которых формула верна, и в конце число
формулы истинны в каждой интерпретации.
Используйте clausetester онлайн с помощью сервисов onworks.net
