Пакет: sat4j (2.3.5-0.3)

[ Источник: sat4j  ]

эффективная библиотека SAT-решателей на Java

Целью библиотеки SAT4J является предоставление набора эффективных решателей задачи выполнимости булевых формул на Java. В отличие от проекта OpenSAT, SAT4J предназначен для пользователей SAT с «черными ящиками», которые хотят использовать SAT-решения в своих приложениях, не беспокоясь о том, как они работают. Проект SAT4J также пытается стать основой для исследователей SAT.

Теги: Область: Математика, Реализовано на: Java, Роль: role::program, role::shared-lib

Другие пакеты, относящиеся к sat4j

• dep: default-jre

  Standard Java or Java compatible Runtime

  или java7-runtime

  виртуальный пакет, предоставляемый default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre, openjdk-8-jre

  или java8-runtime

  виртуальный пакет, предоставляемый default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre, openjdk-8-jre

  или java9-runtime

  виртуальный пакет, предоставляемый default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

  или java10-runtime

  виртуальный пакет, предоставляемый default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

  или java11-runtime

  виртуальный пакет, предоставляемый default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

• dep: jarwrapper (>= 0.5)

  запуск исполняемых Java-файлов .jar

• dep: libcommons-cli-java

  Command line arguments and options parsing library

Загрузка sat4j

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
all	548,9 Кб	687,0 Кб	[список файлов]