org.ow2.sat4j : org.ow2.sat4j.sat

<!-- https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.sat --><dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.sat</artifactId>
    <version>2.3.6</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.satimplementation group: 'org.ow2.sat4j', name: 'org.ow2.sat4j.sat', version: '2.3.6'

// https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.satimplementation 'org.ow2.sat4j:org.ow2.sat4j.sat:2.3.6'

// https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.satimplementation("org.ow2.sat4j:org.ow2.sat4j.sat:2.3.6")

// https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.satlibraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.sat" % "2.3.6"

<!-- https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.sat --><dependency org="org.ow2.sat4j" name="org.ow2.sat4j.sat" rev="2.3.6"/>

// https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.sat@Grapes(
    @Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.sat', version='2.3.6')
)

;; https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.sat[org.ow2.sat4j/org.ow2.sat4j.sat "2.3.6"]

# https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.sat'org.ow2.sat4j:org.ow2.sat4j.sat:jar:2.3.6'