SMTInterpol

SMTInterpol is an interpolating SMT solver

License	GNU LESSER GENERAL PUBLIC LICENSE
Categories	ORM Data
GroupId	de.uni-freiburg.informatik.ultimate
ArtifactId	smtinterpol
Last Version	2.5-1093-g7506c07c
Release Date	Mar 21, 2022
Type	jar
Description	SMTInterpol SMTInterpol is an interpolating SMT solver
Project URL	https://ultimate.informatik.uni-freiburg.de/smtinterpol/
Project Organization	Ultimate
Source Code Management	https://github.com/ultimate-pa/smtinterpol

Download smtinterpol

Filename	Size
smtinterpol-2.5-1093-g7506c07c.pom
smtinterpol-2.5-1093-g7506c07c.jar	1 MB
smtinterpol-2.5-1093-g7506c07c-sources.jar	1 MB
smtinterpol-2.5-1093-g7506c07c-javadoc.jar	373 KB

How to add to project

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation 'de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1093-g7506c07c'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.uni-freiburg.informatik.ultimate/smtinterpol/
implementation ("de.uni-freiburg.informatik.ultimate:smtinterpol:2.5-1093-g7506c07c")

Apache Buildr

'de.uni-freiburg.informatik.ultimate:smtinterpol:jar:2.5-1093-g7506c07c'

Apache Ivy

<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-1093-g7506c07c">
  <artifact name="smtinterpol" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.uni-freiburg.informatik.ultimate', module='smtinterpol', version='2.5-1093-g7506c07c')
)

Scala SBT

libraryDependencies += "de.uni-freiburg.informatik.ultimate" % "smtinterpol" % "2.5-1093-g7506c07c"

Leiningen

[de.uni-freiburg.informatik.ultimate/smtinterpol "2.5-1093-g7506c07c"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
2.5-1093-g7506c07c Mar 21, 2022
2.5-916-ga5843d8b Sep 27, 2021
2.5-842-gfcd46532 Aug 17, 2021
2.5-732-gd208e931 Sep 24, 2020
2.5-604-g71e72f93 Dec 22, 2019
2.5-533-ga4ba1513 Sep 9, 2019
2.5-515-g2765bdd2 Jul 10, 2019
2.5-66-g453d36e Jan 28, 2019
2.5-47-gc0546aa Oct 5, 2018
2.5-12-g3d15a15c Mar 1, 2018
2.5 Feb 5, 2018
2.1-335-g4c543a5 Mar 22, 2017
2.1-327-g92cafef Sep 7, 2016
2.1-295-g1a26b29 Aug 22, 2016
2.1-290-g24167dc Jul 27, 2016
2.1-282-g2d451cf Jul 19, 2016