org.choco-solver:choco-sat 1.0.0

<!-- https://jarcasting.com/artifacts/org.choco-solver/choco-sat/ -->
<dependency>
    <groupId>org.choco-solver</groupId>
    <artifactId>choco-sat</artifactId>
    <version>1.0.0</version>
</dependency>

// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation 'org.choco-solver:choco-sat:1.0.0'

// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation ("org.choco-solver:choco-sat:1.0.0")

'org.choco-solver:choco-sat:jar:1.0.0'

<dependency org="org.choco-solver" name="choco-sat" rev="1.0.0">
  <artifact name="choco-sat" type="jar" />
</dependency>

@Grapes(
@Grab(group='org.choco-solver', module='choco-sat', version='1.0.0')
)

libraryDependencies += "org.choco-solver" % "choco-sat" % "1.0.0"

[org.choco-solver/choco-sat "1.0.0"]