This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD
-
Updated
Feb 21, 2025 - Kotlin
#
aadd
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the aadd topic, visit your repo's landing page and select "manage topics."