| Категории |
КатегорииORM Данные |
|---|---|
| Группа | Группаde.uni-freiburg.informatik.ultimate |
| Идентификатор | Идентификаторsmtinterpol |
| Версия | Версия2.5-47-gc0546aa |
| Тип | Типjar |
| Имя Файла | Размер |
|---|---|
| smtinterpol-2.5-47-gc0546aa.pom | |
| smtinterpol-2.5-47-gc0546aa.jar | 1005 KB |
| smtinterpol-2.5-47-gc0546aa-sources.jar | 1 MB |
| smtinterpol-2.5-47-gc0546aa-javadoc.jar | 374 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.5-47-gc0546aa</version>
</dependency>// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-47-gc0546aa'// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation ("de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-47-gc0546aa")'de.uni-freiburg.informatik.ultimate:smtinterpol:jar:2.5-47-gc0546aa'<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-47-gc0546aa">
<artifact name="smtinterpol" type="jar" />
</dependency>@Grapes(
@Grab(group='de.uni-freiburg.informatik.ultimate', module='smtinterpol', version='2.5-47-gc0546aa')
)libraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.5-47-gc0546aa"[de.uni-freiburg.informatik.ultimate/smtinterpol "2.5-47-gc0546aa"]