Download JAR files tagged by interpolating with all dependencies

smtinterpol from group de.uni-freiburg.informatik.ultimate (version 2.5-1274-g04ecb6c0)

SMTInterpol is an interpolating SMT solver

Group: de.uni-freiburg.informatik.ultimate Artifact: smtinterpol
Show all versions Show documentation Show source

0 downloads

Artifact smtinterpol
Group de.uni-freiburg.informatik.ultimate
Version 2.5-1274-g04ecb6c0
Last update 08. June 2023
Organization Ultimate
URL https://ultimate.informatik.uni-freiburg.de/smtinterpol/
License GNU LESSER GENERAL PUBLIC LICENSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

smtinterpol from group org.sosy-lab (version 2.1-255-gcdd5908)

SMTInterpol interpolating SMT solver

Group: org.sosy-lab Artifact: smtinterpol
Show all versions Show documentation Show source

0 downloads

Artifact smtinterpol
Group org.sosy-lab
Version 2.1-255-gcdd5908
Last update 16. August 2016
Organization ultimate-pa
URL http://ultimate.informatik.uni-freiburg.de/smtinterpol/
License GNU LESSER GENERAL PUBLIC LICENSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

string-base-format-interpolate from group org.mvnpm.at.stdlib (version 0.0.4)

Generate string from a token array by interpolating values.

Group: org.mvnpm.at.stdlib Artifact: string-base-format-interpolate
Show documentation Show source

0 downloads

Artifact string-base-format-interpolate
Group org.mvnpm.at.stdlib
Version 0.0.4
Last update 27. November 2023
Organization The Stdlib Authors
URL https://stdlib.io
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

maven-mapping from group org.apache.maven.shared (version 3.0.0)

A shared component to assist in interpolating file names using properties from a Maven project.

Group: org.apache.maven.shared Artifact: maven-mapping
Show all versions Show documentation Show source

3 downloads

Artifact maven-mapping
Group org.apache.maven.shared
Version 3.0.0
Last update 15. November 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies maven-core, plexus-interpolation,
There are maybe transitive dependencies!

tinyspline from group org.tinyspline (version 0.6.0-1)

TinySpline is a small, yet powerful library for interpolating, transforming, and querying arbitrary NURBS, B-Splines, and Bézier curves. The core of the library is written in ANSI C (C89) with a C++ wrapper for an object-oriented programming model. Based on the C++ wrapper, auto-generated bindings for C#, D, Go, Java, Javascript, Lua, Octave, PHP, Python, R, and Ruby are provided.

Group: org.tinyspline Artifact: tinyspline
Show all versions Show documentation Show source

0 downloads

Artifact tinyspline
Group org.tinyspline
Version 0.6.0-1
Last update 03. February 2023
Organization not specified
URL https://github.com/msteinbeck/tinyspline
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 1 from 1 (items total 5)