JarCastingSMTInterpol
SMTInterpol is an interpolating SMT solver
| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииORM Данные |
| Группа | Группаde.uni-freiburg.informatik.ultimate |
| Идентификатор | Идентификаторsmtinterpol |
| Последняя версия | Последняя версия2.5-1093-g7506c07c |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеSMTInterpol
SMTInterpol is an interpolating SMT solver
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
Скачать smtinterpol
Как подключить последнюю версию
<!-- https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/ -->
<dependency>
<groupId>de.uni-freiburg.informatik.ultimate</groupId>
<artifactId>smtinterpol</artifactId>
<version>2.5-1093-g7506c07c</version>
</dependency>// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1093-g7506c07c'// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation ("de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1093-g7506c07c")'de.uni-freiburg.informatik.ultimate:smtinterpol:jar:2.5-1093-g7506c07c'<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-1093-g7506c07c">
<artifact name="smtinterpol" type="jar" />
</dependency>@Grapes(
@Grab(group='de.uni-freiburg.informatik.ultimate', module='smtinterpol', version='2.5-1093-g7506c07c')
)libraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.5-1093-g7506c07c"[de.uni-freiburg.informatik.ultimate/smtinterpol "2.5-1093-g7506c07c"]Зависимости
Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.
Модули Проекта
Данный проект не имеет модулей.
