Download JAR files tagged by symbolic with all 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!

txt2xhtml from group net.sourceforge.jscl-meditor (version 4.1)

java symbolic computing library and mathematical editor

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

0 downloads

Artifact txt2xhtml
Group net.sourceforge.jscl-meditor
Version 4.1
Last update 26. July 2020
Organization net.sourceforge.jscl-meditor
URL http://jscl-meditor.sourceforge.net/
License LGPL
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

viewer from group net.sourceforge.jscl-meditor (version 1.0)

java symbolic computing library and mathematical editor

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

0 downloads

Artifact viewer
Group net.sourceforge.jscl-meditor
Version 1.0
Last update 16. June 2020
Organization net.sourceforge.jscl-meditor
URL http://jscl-meditor.sourceforge.net/
License LGPL
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

rendering from group net.sourceforge.jscl-meditor (version 1.1)

java symbolic computing library and mathematical editor

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

0 downloads

Artifact rendering
Group net.sourceforge.jscl-meditor
Version 1.1
Last update 15. June 2020
Organization net.sourceforge.jscl-meditor
URL http://jscl-meditor.sourceforge.net/
License LGPL
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

symzip-plugin from group org.paleozogt (version 0.10.1)

Gradle plugin for compressing/decompressing zip files with symbolic links

Group: org.paleozogt Artifact: symzip-plugin
Show all versions Show documentation Show source

0 downloads

Artifact symzip-plugin
Group org.paleozogt
Version 0.10.1
Last update 16. August 2019
Organization not specified
URL https://github.com/paleozogt/symzip-plugin
License MIT License
Dependencies amount 2
Dependencies commons-compress, commons-io,
There are maybe transitive dependencies!

aic-expresso from group com.googlecode.aic-expresso (version 1.3.3)

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

Group: com.googlecode.aic-expresso Artifact: aic-expresso
Show all versions Show documentation Show source

2 downloads

Artifact aic-expresso
Group com.googlecode.aic-expresso
Version 1.3.3
Last update 05. November 2017
Organization not specified
URL http://code.google.com/p/aic-expresso/
License New BSD License
Dependencies amount 2
Dependencies aic-util, antlr4-runtime,
There are maybe transitive dependencies!

maven-junction-plugin from group com.pyx4j (version 1.0.3)

Maven 2 Plugin to create symbolic links between projects

Group: com.pyx4j Artifact: maven-junction-plugin
Show documentation Show source

0 downloads

Artifact maven-junction-plugin
Group com.pyx4j
Version 1.0.3
Last update 28. August 2007
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junction, commons-io,
There are maybe transitive dependencies!

analysis from group org.jinq (version 2.0.2)

Jinq framework for performing symbolic execution analysis on Java code

Group: org.jinq Artifact: analysis
Show all versions Show documentation Show source

4 downloads

Artifact analysis
Group org.jinq
Version 2.0.2
Last update 15. January 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies jinq-asm-rebased, api,
There are maybe transitive dependencies!

jmotif-sax from group net.seninp (version 1.2.0)

An implementation of time series Symbolic Aggregate approXimation and HOTSAX algorithms.

Group: net.seninp Artifact: jmotif-sax
Show all versions Show documentation Show source

1 downloads

Artifact jmotif-sax
Group net.seninp
Version 1.2.0
Last update 28. December 2021
Organization JMotif
URL https://github.com/jMotif/SAX
License GNU General Public License v2.0
Dependencies amount 6
Dependencies slf4j-api, logback-classic, junit, jcommander, jfreechart, maven-project-info-reports-plugin,
There are maybe transitive dependencies!

aic-praise from group com.googlecode.aic-praise (version 1.3.2)

SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

Group: com.googlecode.aic-praise Artifact: aic-praise
Show all versions Show documentation Show source

0 downloads

Artifact aic-praise
Group com.googlecode.aic-praise
Version 1.3.2
Last update 30. October 2017
Organization not specified
URL http://code.google.com/p/aic-praise/
License New BSD License
Dependencies amount 5
Dependencies aic-expresso, antlr4-runtime, fontawesomefx, controlsfx, richtextfx,
There are maybe transitive dependencies!

Page 2 from 3 (items total 26)