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