All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by symbolic with all dependencies

Search JAR files by class name

scs2-symbolic-test from group us.ihmc (version 17-0.27.3)

SCS2 Symbolic

Group: us.ihmc Artifact: scs2-symbolic-test
Show all versions Show source 
 

0 downloads
Artifact scs2-symbolic-test
Group us.ihmc
Version 17-0.27.3
Last update 26. August 2024
Organization not specified
URL https://github.com/ihmcrobotics/simulation-construction-set-2
License Apache License, Version 2.0
Dependencies amount 38
Dependencies junit-platform-launcher, junit-platform-engine, junit-platform-commons, junit-jupiter-api, scs2-symbolic, opentest4j, apiguardian-api, scs2-shared-memory, scs2-definition, ihmc-yovariables, mecano, euclid-frame, euclid-shape, euclid-geometry, euclid, ihmc-commons, mfl-core, ejml-ddense, ejml-core, jsr305, trove4j, jaxb-impl, jaxb-core, commons-lang3, commons-io, log-tools, jakarta.xml.bind-api, log4j-core, log4j-slf4j-impl, log4j-api, jackson-core, jackson-dataformat-yaml, jackson-databind, jackson-annotations, jansi, jakarta.activation-api, slf4j-api, snakeyaml,
There are maybe transitive dependencies!

scs2-symbolic from group us.ihmc (version 17-0.27.3)

SCS2 Symbolic

Group: us.ihmc Artifact: scs2-symbolic
Show all versions Show source 
 

0 downloads
Artifact scs2-symbolic
Group us.ihmc
Version 17-0.27.3
Last update 26. August 2024
Organization not specified
URL https://github.com/ihmcrobotics/simulation-construction-set-2
License Apache License, Version 2.0
Dependencies amount 31
Dependencies scs2-shared-memory, scs2-definition, ihmc-yovariables, mecano, euclid-frame, euclid-shape, euclid-geometry, euclid, ihmc-commons, mfl-core, ejml-ddense, ejml-core, jsr305, trove4j, jaxb-impl, jaxb-core, commons-lang3, commons-io, log-tools, jakarta.xml.bind-api, log4j-core, log4j-slf4j-impl, log4j-api, jackson-core, jackson-dataformat-yaml, jackson-databind, jackson-annotations, jansi, jakarta.activation-api, slf4j-api, snakeyaml,
There are maybe transitive dependencies!

use from group org.utbot (version 2023.11)

Symbolic Execution Analysis

Group: org.utbot Artifact: use
Show all versions Show documentation Show source 
 

0 downloads
Artifact use
Group org.utbot
Version 2023.11
Last update 01. November 2023
Organization not specified
URL https://www.utbot.org
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

sym-derivation from group es.upm.etsisi (version 1.0.0)

Library for symbolic computation in Java.

Group: es.upm.etsisi Artifact: sym-derivation
Show documentation Show source 
 

0 downloads
Artifact sym-derivation
Group es.upm.etsisi
Version 1.0.0
Last update 10. May 2020
Organization not specified
URL https://github.com/AngelGonzalezPrieto/sym-derivation
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

org.eclipse.jgit.java7 from group org.eclipse.jgit (version 3.7.1.201504261725-r)

Java7 support for symbolic links etc

Group: org.eclipse.jgit Artifact: org.eclipse.jgit.java7
Show all versions Show documentation Show source 
 

8 downloads
Artifact org.eclipse.jgit.java7
Group org.eclipse.jgit
Version 3.7.1.201504261725-r
Last update 26. April 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies org.eclipse.jgit,
There are maybe transitive dependencies!

org.eclipse.jgit.java7 from group com.madgag (version 3.4.0.1.1-UNOFFICIAL-ROBERTO-RELEASE)

Java7 support for symbolic links etc

Group: com.madgag Artifact: org.eclipse.jgit.java7
Show all versions Show documentation Show source 
 

0 downloads
Artifact org.eclipse.jgit.java7
Group com.madgag
Version 3.4.0.1.1-UNOFFICIAL-ROBERTO-RELEASE
Last update 27. May 2014
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies org.eclipse.jgit,
There are maybe transitive dependencies!

org.eclipse.jgit.java7 from group com.bacoder.jgit (version 3.1.0-201309071158-r)

Java7 support for symbolic links etc

Group: com.bacoder.jgit Artifact: org.eclipse.jgit.java7
Show all versions Show documentation Show source 
 

0 downloads
Artifact org.eclipse.jgit.java7
Group com.bacoder.jgit
Version 3.1.0-201309071158-r
Last update 07. September 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies org.eclipse.jgit,
There are maybe transitive dependencies!

matheclipse from group org.matheclipse (version 3.0.0)

Symja Java Symbolic Math library.

Group: org.matheclipse Artifact: matheclipse
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact matheclipse
Group org.matheclipse
Version 3.0.0
Last update 10. November 2023
Organization not specified
URL https://github.com/axkr/symja_android_library
License GNU General Public License, Version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

meditor from group net.sourceforge.jscl-meditor (version 5.4.6)

java symbolic computing library and mathematical editor

Group: net.sourceforge.jscl-meditor Artifact: meditor
Show all versions Show documentation Show source 
 

0 downloads
Artifact meditor
Group net.sourceforge.jscl-meditor
Version 5.4.6
Last update 07. February 2024
Organization net.sourceforge.jscl-meditor
URL http://jscl-meditor.sourceforge.net/
License GPL
Dependencies amount 13
Dependencies application, txt2xhtml, rendering, jeuclid-core, jeuclid-fop, fop, fop-core, fop-events, batik-codec, snuggletex-core, swingx-core, xalan, serializer,
There are maybe transitive dependencies!

key.core.symbolic_execution from group org.key-project (version 2.12.2)

API for using KeY as a symbolic execution engine for Java programs

Group: org.key-project Artifact: key.core.symbolic_execution
Show all versions Show documentation Show source 
 

0 downloads
Artifact key.core.symbolic_execution
Group org.key-project
Version 2.12.2
Last update 16. December 2023
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!



Page 1 from 3 (items total 26)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy