MVN

de.uni-freiburg.informatik.ultimate : smtinterpol

Maven & Gradle

Jun 08, 2023

1 usages

57 stars

SMTInterpol · SMTInterpol is an interpolating SMT solver

Homepage Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpol --><dependency>
    <groupId>de.uni-freiburg.informatik.ultimate</groupId>
    <artifactId>smtinterpol</artifactId>
    <version>2.5-1274-g04ecb6c0</version>
</dependency>

// https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpolimplementation group: 'de.uni-freiburg.informatik.ultimate', name: 'smtinterpol', version: '2.5-1274-g04ecb6c0'

// https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpolimplementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1274-g04ecb6c0'

// https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpolimplementation("de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1274-g04ecb6c0")

// https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpollibraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.5-1274-g04ecb6c0"

<!-- https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpol --><dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-1274-g04ecb6c0"/>

// https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpol@Grapes(
    @Grab(group='de.uni-freiburg.informatik.ultimate', module='smtinterpol', version='2.5-1274-g04ecb6c0')
)

;; https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpol[de.uni-freiburg.informatik.ultimate/smtinterpol "2.5-1274-g04ecb6c0"]

# https://mavenlibs.com/maven/dependency/de.uni-freiburg.informatik.ultimate/smtinterpol'de.uni-freiburg.informatik.ultimate:smtinterpol:jar:2.5-1274-g04ecb6c0'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of de.uni-freiburg.informatik.ultimate : smtinterpol to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.5-1274-g04ecb6c0

All Versions

Choose a version of de.uni-freiburg.informatik.ultimate : smtinterpol to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
2.5	smtinterpol-2.5-1274-g04ecb6c0		Jun 08, 2023
smtinterpol-2.5-1242-g5c50fb6d		Oct 04, 2022
smtinterpol-2.5-1147-g108647d8		Jul 03, 2022
smtinterpol-2.5-1093-g7506c07c		Mar 21, 2022
smtinterpol-2.5-916-ga5843d8b		Sep 27, 2021
smtinterpol-2.5-842-gfcd46532		Aug 17, 2021
smtinterpol-2.5-732-gd208e931		Sep 24, 2020
smtinterpol-2.5-604-g71e72f93		Dec 22, 2019
smtinterpol-2.5-533-ga4ba1513		Sep 09, 2019
smtinterpol-2.5-515-g2765bdd2		Jul 10, 2019
smtinterpol-2.5-66-g453d36e		Jan 28, 2019
smtinterpol-2.5-47-gc0546aa		Oct 05, 2018
smtinterpol-2.5-12-g3d15a15c		Feb 28, 2018
smtinterpol-2.5		Feb 05, 2018
2.1	smtinterpol-2.1-335-g4c543a5		Mar 22, 2017
smtinterpol-2.1-327-g92cafef		Sep 07, 2016
smtinterpol-2.1-295-g1a26b29		Aug 22, 2016
smtinterpol-2.1-290-g24167dc		Jul 27, 2016
smtinterpol-2.1-282-g2d451cf		Jul 19, 2016

Version

Vulnerabilities

Updated

2.5

smtinterpol-2.5-1274-g04ecb6c0

Jun 08, 2023

smtinterpol-2.5-1242-g5c50fb6d

Oct 04, 2022

smtinterpol-2.5-1147-g108647d8

Jul 03, 2022

smtinterpol-2.5-1093-g7506c07c

Mar 21, 2022

smtinterpol-2.5-916-ga5843d8b

Sep 27, 2021

smtinterpol-2.5-842-gfcd46532

Aug 17, 2021

smtinterpol-2.5-732-gd208e931

Sep 24, 2020

smtinterpol-2.5-604-g71e72f93

Dec 22, 2019

smtinterpol-2.5-533-ga4ba1513

Sep 09, 2019

smtinterpol-2.5-515-g2765bdd2

Jul 10, 2019

smtinterpol-2.5-66-g453d36e

Jan 28, 2019

smtinterpol-2.5-47-gc0546aa

Oct 05, 2018

smtinterpol-2.5-12-g3d15a15c

Feb 28, 2018

smtinterpol-2.5

Feb 05, 2018

2.1

smtinterpol-2.1-335-g4c543a5

Mar 22, 2017

smtinterpol-2.1-327-g92cafef

Sep 07, 2016

smtinterpol-2.1-295-g1a26b29

Aug 22, 2016

smtinterpol-2.1-290-g24167dc

Jul 27, 2016

smtinterpol-2.1-282-g2d451cf

Jul 19, 2016

How to add a dependency to Maven

Add the following de.uni-freiburg.informatik.ultimate : smtinterpol maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>de.uni-freiburg.informatik.ultimate</groupId>
    <artifactId>smtinterpol</artifactId>
    <version>2.5-1274-g04ecb6c0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.uni-freiburg.informatik.ultimate : smtinterpol gradle dependency to your build.gradle file:

implementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1274-g04ecb6c0'

Gradle Kotlin DSL: Add the following de.uni-freiburg.informatik.ultimate : smtinterpol gradle kotlin dependency to your build.gradle.kts file:

implementation("de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1274-g04ecb6c0")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.uni-freiburg.informatik.ultimate : smtinterpol sbt scala dependency to your build.sbt file:

libraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.5-1274-g04ecb6c0"

Dependencies from Group

smtinterpol

@de.uni-freiburg.informatik.ultimate

Jun 08, 2023

1 usages

57 stars

More Dependencies ❯

Discover Dependencies

ne4Weixin

@com.tmsps

Apr 17, 2017

reactor

@com.tascape

Jun 10, 2021

6 usages

1 stars

wingtips-core

@com.nike.wingtips

Feb 01, 2022

11 usages

328 stars

smart-eis-web

@com.jalalkiswani

Nov 13, 2016

google-api-services-language

@com.google.apis

Aug 16, 2023

rest-query-engine

@com.github.rutledgepaulv

Jul 20, 2016

1 usages

30 stars

data-feed-parent

@com.github.mstream-trader

Dec 03, 2016

easybackup

@cn.easyproject

Jan 17, 2021

2 usages

16 stars

usnames

@tv.cntt

Jul 28, 2016

0 stars

rrule

@org.webjars.npm

Feb 22, 2023

1 usages

2.9k stars

More Dependencies ❯