org.choco-solver:choco-sat 1.0.1

A SAT solver, used internally in choco-solver

Categories	Choco Business Logic Libraries Constraint Satisfaction Problem Solver
GroupId	org.choco-solver
ArtifactId	choco-sat
Version	1.0.1
Type	jar

Download choco-sat 1.0.1

Filename	Size
choco-sat-1.0.1.pom
choco-sat-1.0.1.jar	14 KB
choco-sat-1.0.1-sources.jar	8 KB
choco-sat-1.0.1-javadoc.jar	31 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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