Maven Repository: org.ow2.sat4j » org.ow2.sat4j.maxsat

<!-- https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat -->
<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.maxsat</artifactId>
    <version>2.3.6</version>
</dependency>

// https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
implementation group: 'org.ow2.sat4j', name: 'org.ow2.sat4j.maxsat', version: '2.3.6'

// https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6'

// https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
implementation("org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6")

// https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.maxsat" % "2.3.6"

<!-- https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat -->
<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.maxsat" rev="2.3.6"/>

// https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
@Grapes(
    @Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.maxsat', version='2.3.6')
)

;; https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
[org.ow2.sat4j/org.ow2.sat4j.maxsat "2.3.6"]

# https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.maxsat
'org.ow2.sat4j:org.ow2.sat4j.maxsat:jar:2.3.6'

Include comment with link to declaration

Compile Dependencies (3)

Category/License	Group / Artifact	Version	Updates
CLI Parser Apache 2.0	commons-cli » commons-cli	1.2	1.5.0
EPL 1.0LGPL 2.1	org.ow2.sat4j » org.ow2.sat4j.core	2.3.6	✔
EPL 1.0LGPL 2.1	org.ow2.sat4j » org.ow2.sat4j.pb	2.3.6	✔

Category/License

Group / Artifact

Version

Updates

CLI Parser
Apache 2.0