Download com.github.tuk-cps JAR files with all 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.
0 downloads
Artifact aadd
Group com.github.tuk-cps
Version 1.1.0
Last update 17. October 2019
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
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 1)