choco-sat

A SAT solver, used internally in choco-solver

License	BSD 4-Clause License
Categories	Choco Business Logic Libraries Constraint Satisfaction Problem Solver
GroupId	org.choco-solver
ArtifactId	choco-sat
Last Version	4.10.6
Release Date	Dec 11, 2020
Type	jar
Description	choco-sat A SAT solver, used internally in choco-solver

Download choco-sat

Filename	Size
choco-sat-4.10.6.pom
choco-sat-4.10.6.jar	12 KB
choco-sat-4.10.6-sources.jar	8 KB
choco-sat-4.10.6-javadoc.jar	412 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.choco-solver/choco-sat/ -->
<dependency>
    <groupId>org.choco-solver</groupId>
    <artifactId>choco-sat</artifactId>
    <version>4.10.6</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation 'org.choco-solver:choco-sat:4.10.6'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation ("org.choco-solver:choco-sat:4.10.6")

Apache Buildr

'org.choco-solver:choco-sat:jar:4.10.6'

Apache Ivy

<dependency org="org.choco-solver" name="choco-sat" rev="4.10.6">
  <artifact name="choco-sat" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.choco-solver', module='choco-sat', version='4.10.6')
)

Scala SBT

libraryDependencies += "org.choco-solver" % "choco-sat" % "4.10.6"

Leiningen

[org.choco-solver/choco-sat "4.10.6"]

Dependencies

compile (1)

Group / Artifact	Type	Version
net.sf.trove4j : trove4j	jar	3.0.3

test (1)

Group / Artifact	Type	Version
org.testng : testng	jar	7.3.0

Project Modules

There are no modules declared in this project.

Versions

Version
4.10.6 Dec 11, 2020
4.10.5 Oct 2, 2020
4.10.4 Sep 8, 2020
1.0.2 Mar 11, 2016
1.0.1 Mar 10, 2016
1.0.0 Mar 7, 2016