com.github.tuk-cps:aadd (maven): This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.
Keywords: aadd|bdd|java|kotlin|symbolic-execution