<dependency>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.core</artifactId>
  <version>2.0.0</version>
</dependency>

implementation 'org.sat4j:org.sat4j.core:2.0.0'

implementation("org.sat4j:org.sat4j.core:2.0.0")

libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.0.0"

@Grapes(
  @Grab(group='org.sat4j', module='org.sat4j.core', version='2.0.0')
)

<dependency org="org.sat4j" name="org.sat4j.core" rev="2.0.0" />

[org.sat4j/org.sat4j.core "2.0.0"]

'org.sat4j:org.sat4j.core:jar:2.0.0'