Это команда picomus, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
picomus - простой минимально неудовлетворительный керновой экстрактор
СИНТАКСИС
Picomus [кредита] [ входной файл [ выходной файл ] ]
ОПИСАНИЕ
Эта страница руководства кратко документирует Picomus команда.
Picomus является решателем SAT, который использует библиотеку PicoSAT для генерации «минимально неудовлетворительного
core », также известный как« минимальный невыполнимый набор »(MUS) CNF в формате DIMACS.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-h Показать сводку опций.
-v включить подробный вывод
Используйте picomus онлайн с помощью сервисов onworks.net
