Установка:
Для установки minisat2 в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Переходный пакет для минисата
-
Зависимости:
-
Быстрый и легкий SAT-решатель
Для установки minisat2 в Ubuntu / Linux Mint / Debian, введите в Терминал:
Переходный пакет для минисата
Быстрый и легкий SAT-решатель