| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииChoco Прикладные библиотеки Constraint Satisfaction Problem Solver |
| Группа | Группаorg.choco-solver |
| Идентификатор | Идентификаторchoco-sat |
| Последняя версия | Последняя версия4.10.6 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеchoco-sat
A SAT solver, used internally in choco-solver
|
| Имя Файла | Размер |
|---|---|
| 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 |
| Обзор |
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"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| net.sf.trove4j : trove4j | jar | 3.0.3 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.testng : testng | jar | 7.3.0 |