JarCasting
JarCasting JarCasting
Последняя версия

SAT4J pseudo 2.3.1

The pb library contains algorithms for solving pseudo boolean optimization problems.

Лицензия

Лицензия
Группа

Группа

org.sat4j
Идентификатор

Идентификатор

org.sat4j.pb
Версия

Версия

2.3.1
Тип

Тип

jar
Описание

Описание

SAT4J pseudo
The pb library contains algorithms for solving pseudo boolean optimization problems.
Организация-разработчик

Организация-разработчик

Centre de Recherche en Informatique de Lens (CRIL)

Скачать org.sat4j.pb 2.3.1

Имя Файла Размер
org.sat4j.pb-2.3.1.pom
org.sat4j.pb-2.3.1.jar 198 KB
org.sat4j.pb-2.3.1-tests.jar 67 KB
org.sat4j.pb-2.3.1-sources.jar 203 KB
org.sat4j.pb-2.3.1-javadoc.jar 751 KB
Обзор 

<!-- https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/ -->
<dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pb</artifactId>
    <version>2.3.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/
implementation 'org.sat4j:org.sat4j.pb:2.3.1'
// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/
implementation ("org.sat4j:org.sat4j.pb:2.3.1")
'org.sat4j:org.sat4j.pb:jar:2.3.1'
<dependency org="org.sat4j" name="org.sat4j.pb" rev="2.3.1">
  <artifact name="org.sat4j.pb" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sat4j', module='org.sat4j.pb', version='2.3.1')
)
libraryDependencies += "org.sat4j" % "org.sat4j.pb" % "2.3.1"
[org.sat4j/org.sat4j.pb "2.3.1"]

Зависимости

compile (2)

Идентификатор библиотеки Тип Версия
org.sat4j : org.sat4j.core jar 2.3.1
org.sat4j : org.sat4j.core test-jar 2.3.1

test (1)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.4

Модули Проекта

Данный проект не имеет модулей.