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