mvncenter: org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6

virtual state featured bring machine technologies designed reasoning sat4j full library boolean java

Files download

File	Operation
org.ow2.sat4j.maxsat-2.3.6.jar	download
org.ow2.sat4j.maxsat-2.3.6.pom	download
org.ow2.sat4j.maxsat-2.3.6-sources.jar	download

Apache Maven

<dependency>
  <groupId>org.ow2.sat4j</groupId>
  <artifactId>org.ow2.sat4j.maxsat</artifactId>
  <version>2.3.6</version>
</dependency>

Gradle Groovy

implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6'

Gradle Kotlin

implementation("org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6")

Scala SBT

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.maxsat" % "2.3.6"

Groovy Grape

@Grapes(
  @Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.maxsat', version='2.3.6')
)

Apache Ivy

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.maxsat" rev="2.3.6" />

Leiningen

[org.ow2.sat4j/org.ow2.sat4j.maxsat "2.3.6"]

Apache Buildr

'org.ow2.sat4j:org.ow2.sat4j.maxsat:jar:2.3.6'

Dependencies

<parent>
  <groupId>org.ow2.sat4j</groupId>
  <artifactId>org.ow2.sat4j.pom</artifactId>
  <version>2.3.6</version>
</parent>

compile