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