| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииСеть |
| Группа | Группаnet.sf.jargsemsat |
| Идентификатор | ИдентификаторjArgSemSAT |
| Последняя версия | Последняя версия0.1.7 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеnet.sf.jargsemsat:jArgSemSAT
Java re-implementation of ArgSemSAT https://sourceforge.net/projects/argsemsat/
NOT TO BE USED FOR EMPIRICAL EVALUATION
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| jArgSemSAT-0.1.7.pom | |
| jArgSemSAT-0.1.7.jar | 33 KB |
| jArgSemSAT-0.1.7-sources.jar | 21 KB |
| jArgSemSAT-0.1.7-javadoc.jar | 95 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/ -->
<dependency>
<groupId>net.sf.jargsemsat</groupId>
<artifactId>jArgSemSAT</artifactId>
<version>0.1.7</version>
</dependency>// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation 'net.sf.jargsemsat:jArgSemSAT:0.1.7'// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation ("net.sf.jargsemsat:jArgSemSAT:0.1.7")'net.sf.jargsemsat:jArgSemSAT:jar:0.1.7'<dependency org="net.sf.jargsemsat" name="jArgSemSAT" rev="0.1.7">
<artifact name="jArgSemSAT" type="jar" />
</dependency>@Grapes(
@Grab(group='net.sf.jargsemsat', module='jArgSemSAT', version='0.1.7')
)libraryDependencies += "net.sf.jargsemsat" % "jArgSemSAT" % "0.1.7"[net.sf.jargsemsat/jArgSemSAT "0.1.7"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.sat4j : org.sat4j.core | jar | 2.3.1 |