| License |
License |
|---|---|
| Categories |
CategoriesChoco Business Logic Libraries Constraint Satisfaction Problem Solver |
| GroupId | GroupIdorg.choco-solver |
| ArtifactId | ArtifactIdchoco-sat |
| Last Version | Last Version4.10.6 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptionchoco-sat
A SAT solver, used internally in choco-solver
|
| Filename | Size |
|---|---|
| choco-sat-4.10.6.pom | |
| choco-sat-4.10.6.jar | 12 KB |
| choco-sat-4.10.6-sources.jar | 8 KB |
| choco-sat-4.10.6-javadoc.jar | 412 KB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/org.choco-solver/choco-sat/ -->
<dependency>
<groupId>org.choco-solver</groupId>
<artifactId>choco-sat</artifactId>
<version>4.10.6</version>
</dependency>// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation 'org.choco-solver:choco-sat:4.10.6'// https://jarcasting.com/artifacts/org.choco-solver/choco-sat/
implementation ("org.choco-solver:choco-sat:4.10.6")'org.choco-solver:choco-sat:jar:4.10.6'<dependency org="org.choco-solver" name="choco-sat" rev="4.10.6">
<artifact name="choco-sat" type="jar" />
</dependency>@Grapes(
@Grab(group='org.choco-solver', module='choco-sat', version='4.10.6')
)libraryDependencies += "org.choco-solver" % "choco-sat" % "4.10.6"[org.choco-solver/choco-sat "4.10.6"]| Group / Artifact | Type | Version |
|---|---|---|
| net.sf.trove4j : trove4j | jar | 3.0.3 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.testng : testng | jar | 7.3.0 |