| Лицензия |
Лицензия |
|---|---|
| Группа | Группаorg.opt4j |
| Идентификатор | Идентификаторopt4j-satdecoding |
| Последняя версия | Последняя версия3.1.4 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеOpt4J
The SAT decoding module for Opt4J
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| opt4j-satdecoding-3.1.4.pom | |
| opt4j-satdecoding-3.1.4.jar | 34 KB |
| opt4j-satdecoding-3.1.4-sources.jar | 28 KB |
| opt4j-satdecoding-3.1.4-javadoc.jar | 96 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/ -->
<dependency>
<groupId>org.opt4j</groupId>
<artifactId>opt4j-satdecoding</artifactId>
<version>3.1.4</version>
</dependency>// https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/
implementation 'org.opt4j:opt4j-satdecoding:3.1.4'// https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/
implementation ("org.opt4j:opt4j-satdecoding:3.1.4")'org.opt4j:opt4j-satdecoding:jar:3.1.4'<dependency org="org.opt4j" name="opt4j-satdecoding" rev="3.1.4">
<artifact name="opt4j-satdecoding" type="jar" />
</dependency>@Grapes(
@Grab(group='org.opt4j', module='opt4j-satdecoding', version='3.1.4')
)libraryDependencies += "org.opt4j" % "opt4j-satdecoding" % "3.1.4"[org.opt4j/opt4j-satdecoding "3.1.4"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.ow2.sat4j : org.ow2.sat4j.pb | jar | 2.3.3 |
| org.ow2.sat4j : org.ow2.sat4j.core | jar | 2.3.3 |
| org.opt4j : opt4j-core | jar | 3.1.4 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | [4.0,) |