| Лицензия |
Лицензия |
|---|---|
| Группа | Группаorg.ow2.sat4j |
| Идентификатор | Идентификаторorg.ow2.sat4j.maxsat |
| Последняя версия | Последняя версия2.3.6 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеSAT4J maxsat
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
|
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| org.ow2.sat4j.maxsat-2.3.6.pom | |
| org.ow2.sat4j.maxsat-2.3.6.jar | 17 KB |
| org.ow2.sat4j.maxsat-2.3.6-tests.jar | 12 KB |
| org.ow2.sat4j.maxsat-2.3.6-sources.jar | 15 KB |
| org.ow2.sat4j.maxsat-2.3.6-javadoc.jar | 129 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.maxsat/ -->
<dependency>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.maxsat</artifactId>
<version>2.3.6</version>
</dependency>// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.maxsat/
implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6'// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.maxsat/
implementation ("org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6")'org.ow2.sat4j:org.ow2.sat4j.maxsat:jar:2.3.6'<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.maxsat" rev="2.3.6">
<artifact name="org.ow2.sat4j.maxsat" type="jar" />
</dependency>@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.maxsat', version='2.3.6')
)libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.maxsat" % "2.3.6"[org.ow2.sat4j/org.ow2.sat4j.maxsat "2.3.6"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.ow2.sat4j : org.ow2.sat4j.core | jar | 2.3.6 |
| org.ow2.sat4j : org.ow2.sat4j.pb | jar | 2.3.6 |
| commons-cli : commons-cli | jar | 1.2 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | 4.12 |
| org.mockito : mockito-all | jar | 1.9.5 |