DOC

com.github.tuk-cps : aadd

Maven & Gradle

Oct 17, 2019
2 stars

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.

Homepage Readme Maven Central
Table Of Contents

Latest Version

Download com.github.tuk-cps : aadd Javadoc & API Documentation - Latest Versions:

All Versions

Download com.github.tuk-cps : aadd Javadoc & API Documentation - All Versions:

Version Size Javadoc Updated
1.1.x
aadd-1.1.0-javadoc.jar
1.0.x
aadd-1.0.0-javadoc.jar

How to open Javadoc JAR file in web browser

  1. Rename the file aadd-1.1.0-javadoc.jar to aadd-1.1.0-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder aadd-1.1.0-javadoc
  3. Double click index.html will open the index page on your default web browser.

How to generate Javadoc from a source JAR?

Running the command javadoc:

javadoc --ignore-source-errors -encoding UTF-8 -sourcepath "aadd-1.1.0-sources.jar" -d "aadd-1.1.0-javadoc" -subpackages

Advertisement

Dependencies from Group

aadd
icon @com.github.tuk-cps
Oct 17, 2019
2 stars
More Dependencies ❯

Discover Dependencies

analytics
icon @com.github.tiktok-analytics
Nov 27, 2019
0 stars
fakedata
icon @com.github.tanxiaofan
Oct 16, 2019
docker-maven-profile-activator
icon @com.github.stephenc.docker
Oct 18, 2019
0 stars
data-dictionary
icon @com.github.sdcxy
Oct 22, 2019
0 stars
schema_2.12
icon @com.github.pwliwanow.foundationdb4s
Dec 05, 2019
28 stars
reflection-assert
icon @com.github.opennano
Oct 31, 2019
2 stars
nougat-web-misc
icon @com.github.nomou
May 25, 2022
0 stars
nougat-web
icon @com.github.nomou
May 25, 2022
0 stars
nougat-proc
icon @com.github.nomou
May 25, 2022
0 stars
nougat-misc
icon @com.github.nomou
May 25, 2022
0 stars
More Dependencies ❯