org.choco-solver:choco-sat 4.10.5

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

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

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

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

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

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

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

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