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