Download all versions of aadd JAR files with all dependencies

aadd from group com.github.tuk-cps (version 1.0.)

0 downloads

Artifact aadd
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.

0 downloads

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!

This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.

0 downloads

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!

Page 1 from 1 (items total 3)