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

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

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

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

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

<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5" />

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

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