mvncenter: org.sat4j:org.sat4j.csp:2.2.3

Files download

Apache Maven

<dependency>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.csp</artifactId>
  <version>2.2.3</version>
</dependency>

Gradle Groovy

implementation 'org.sat4j:org.sat4j.csp:2.2.3'

Gradle Kotlin

implementation("org.sat4j:org.sat4j.csp:2.2.3")

Scala SBT

libraryDependencies += "org.sat4j" % "org.sat4j.csp" % "2.2.3"

Groovy Grape

@Grapes(
  @Grab(group='org.sat4j', module='org.sat4j.csp', version='2.2.3')
)

Apache Ivy

<dependency org="org.sat4j" name="org.sat4j.csp" rev="2.2.3" />

Leiningen

[org.sat4j/org.sat4j.csp "2.2.3"]

Apache Buildr

'org.sat4j:org.sat4j.csp:jar:2.2.3'

Dependencies

<parent>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.pom</artifactId>
  <version>2.2.3</version>
</parent>

compile