Это команда picosat.trace, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
picosat - решатель SAT с поддержкой proof и core
СИНТАКСИС
пикосат [кредита] входной файл
ОПИСАНИЕ
Эта страница руководства кратко документирует пикосат команда.
пикосат является решателем SAT с доказательствами и основными возможностями. Использовать пикосат.трассировка двоичный в
фактически используйте эти возможности (они влекут за собой некоторые накладные расходы).
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-h Показать сводку опций.
--версия
версия для печати и выход
--config
распечатать конфигурацию сборки и выйти
-v включить подробный вывод
-f игнорировать недопустимый заголовок
-n не печатайте удовлетворительное задание
-p распечатать формулу в формате DIMACS и выйти
-i <0/1>
принудительно установить FALSE или TRUE в качестве фазы по умолчанию
-a
начать с предположения
-l
установить предел решения
-s
установить семя генератора случайных чисел
-o
установить выходной файл
-t
сгенерируйте компактный файл трассировки доказательства (используйте picosat.trace, см. выше).
-T
сгенерируйте расширенный файл трассировки доказательства (используйте picosat.trace, см. выше).
-r
сгенерируйте файл доказательства обратного распространения (используйте picosat.trace, см. выше).
-c
сгенерируйте файл ядра клауза в формате DIMACS (используйте picosat.trace, см. выше).
-V
создать список основных переменных файла
-U
сгенерировать список файлов используемых переменных
Используйте picosat.trace в Интернете с помощью сервисов onworks.net
