Установка:
Для установки sat4j в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Эффективная библиотека SAT-решений в Java
-
Зависимости:
-
Стандартная совместимость с Java или Java Runtime
-
Выполнять исполняемые файлы Java .jar
-
Библиотека аргументов командной строки и параметров
-
java5-runtime
-
java6-runtime
-
java7-runtime
-
java8-runtime