| Категории |
КатегорииORM Данные |
|---|---|
| Группа | Группаde.uni-freiburg.informatik.ultimate |
| Идентификатор | Идентификаторsmtinterpol |
| Версия | Версия2.1-282-g2d451cf |
| Тип | Типjar |
| Имя Файла | Размер |
|---|---|
| smtinterpol-2.1-282-g2d451cf.pom | |
| smtinterpol-2.1-282-g2d451cf.jar | 982 KB |
| smtinterpol-2.1-282-g2d451cf-sources.jar | 692 KB |
| smtinterpol-2.1-282-g2d451cf-javadoc.jar | 352 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/ -->
<dependency>
<groupId>de.uni-freiburg.informatik.ultimate</groupId>
<artifactId>smtinterpol</artifactId>
<version>2.1-282-g2d451cf</version>
</dependency>// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.1-282-g2d451cf'// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation ("de.uni-freiburg.informatik.ultimate:smtinterpol:2.1-282-g2d451cf")'de.uni-freiburg.informatik.ultimate:smtinterpol:jar:2.1-282-g2d451cf'<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.1-282-g2d451cf">
<artifact name="smtinterpol" type="jar" />
</dependency>@Grapes(
@Grab(group='de.uni-freiburg.informatik.ultimate', module='smtinterpol', version='2.1-282-g2d451cf')
)libraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.1-282-g2d451cf"[de.uni-freiburg.informatik.ultimate/smtinterpol "2.1-282-g2d451cf"]