Download aadd JAR file 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.

Group: com.github.tuk-cps Artifact: aadd
Show all versions Show documentation Show source

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!

Page 1 from 1 (items total 1)