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