jsatbuilder

SAT formula builder with constraint dependency tracking, written in Java

Лицензия

Лицензия

Категории

Категории

Java Statistical Analysis Tool (JSAT) Прикладные библиотеки Machine Learning
Группа

Группа

hu.webarticum
Идентификатор

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

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

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

0.2
Дата

Дата

Тип

Тип

jar
Описание

Описание

jsatbuilder
SAT formula builder with constraint dependency tracking, written in Java
Ссылка на сайт

Ссылка на сайт

https://github.com/davidsusu/jsatbuilder
Система контроля версий

Система контроля версий

https://github.com/davidsusu/jsatbuilder.git

Скачать jsatbuilder

Как подключить последнюю версию

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

Зависимости

runtime (3)

Идентификатор библиотеки Тип Версия
org.ow2.sat4j : org.ow2.sat4j.core jar 2.3.5
org.ow2.sat4j : org.ow2.sat4j.maxsat jar 2.3.5
org.ow2.sat4j : org.ow2.sat4j.pb jar 2.3.5

test (1)

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

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

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

Версии библиотеки

Версия
0.2