Download all versions of aadd JAR files with all dependencies
aadd from group com.github.tuk-cps (version 1.0.)
This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.
Artifact aadd
Group com.github.tuk-cps
Version 1.0.
Last update 17. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
Group com.github.tuk-cps
Version 1.0.
Last update 17. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
aadd from group com.github.tuk-cps (version 1.1.0)
This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.
Artifact aadd
Group com.github.tuk-cps
Version 1.1.0
Last update 17. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
Group com.github.tuk-cps
Version 1.1.0
Last update 17. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
aadd from group com.github.tuk-cps (version 1.0.0)
This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.
Artifact aadd
Group com.github.tuk-cps
Version 1.0.0
Last update 14. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
Group com.github.tuk-cps
Version 1.0.0
Last update 14. October 2019
Tags: affine permit particular symbolic decision execution project arithmetic implements aadd codes java this diagrams
Organization not specified
URL https://github.com/TUK-CPS/jAADD
License The MIT License
Dependencies amount 3
Dependencies commons-math3, json, gson,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)