jsatbuilder

SAT formula builder with constraint dependency tracking, written in Java

License	The Apache Software License, Version 2.0
Categories	Java Statistical Analysis Tool (JSAT) Business Logic Libraries Machine Learning
GroupId	hu.webarticum
ArtifactId	jsatbuilder
Last Version	0.2
Release Date	Aug 25, 2018
Type	jar
Description	jsatbuilder SAT formula builder with constraint dependency tracking, written in Java
Project URL	https://github.com/davidsusu/jsatbuilder
Source Code Management	https://github.com/davidsusu/jsatbuilder.git

Download jsatbuilder

Filename	Size
jsatbuilder-0.2.pom
jsatbuilder-0.2.jar	59 KB
jsatbuilder-0.2-sources.jar	28 KB
jsatbuilder-0.2-javadoc.jar	180 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/hu.webarticum/jsatbuilder/ -->
<dependency>
    <groupId>hu.webarticum</groupId>
    <artifactId>jsatbuilder</artifactId>
    <version>0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/hu.webarticum/jsatbuilder/
implementation 'hu.webarticum:jsatbuilder:0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/hu.webarticum/jsatbuilder/
implementation ("hu.webarticum:jsatbuilder:0.2")

Apache Buildr

'hu.webarticum:jsatbuilder:jar:0.2'

Apache Ivy

<dependency org="hu.webarticum" name="jsatbuilder" rev="0.2">
  <artifact name="jsatbuilder" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='hu.webarticum', module='jsatbuilder', version='0.2')
)

Scala SBT

libraryDependencies += "hu.webarticum" % "jsatbuilder" % "0.2"

Leiningen

[hu.webarticum/jsatbuilder "0.2"]

Dependencies

runtime (3)

Group / Artifact	Type	Version
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)

Group / Artifact	Type	Version
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.

Versions

Version
0.2 Aug 25, 2018