| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииСеть |
| Группа | Группаnet.sf.jmpi |
| Идентификатор | Идентификаторjmpi-solver-sat4j |
| Последняя версия | Последняя версия0.6 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеJMPI
The solver interface for SAT4J
|
| Ссылка на сайт |
Ссылка на сайт |
| Имя Файла | Размер |
|---|---|
| jmpi-solver-sat4j-0.6.pom | |
| jmpi-solver-sat4j-0.6.jar | 4 KB |
| jmpi-solver-sat4j-0.6-sources.jar | 2 KB |
| jmpi-solver-sat4j-0.6-javadoc.jar | 20 KB |
| Обзор |
<!-- https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/ -->
<dependency>
<groupId>net.sf.jmpi</groupId>
<artifactId>jmpi-solver-sat4j</artifactId>
<version>0.6</version>
</dependency>
// https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/
implementation 'net.sf.jmpi:jmpi-solver-sat4j:0.6'
// https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/
implementation ("net.sf.jmpi:jmpi-solver-sat4j:0.6")
'net.sf.jmpi:jmpi-solver-sat4j:jar:0.6'
<dependency org="net.sf.jmpi" name="jmpi-solver-sat4j" rev="0.6">
<artifact name="jmpi-solver-sat4j" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.sf.jmpi', module='jmpi-solver-sat4j', version='0.6')
)
libraryDependencies += "net.sf.jmpi" % "jmpi-solver-sat4j" % "0.6"
[net.sf.jmpi/jmpi-solver-sat4j "0.6"]
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.ow2.sat4j : org.ow2.sat4j.core | jar | 2.3.5 |
| org.ow2.sat4j : org.ow2.sat4j.pb | jar | 2.3.5 |
| net.sf.jmpi : jmpi-main | jar | 0.6 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | [4.0,) |