tukcps/jAADD tukcps/jAADD

  • Stars
    star
    2
  • Language
    Kotlin
  • License
    Other
  • Created about 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tukcps/jAADD
github

tukcps

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD

More Repositories

1

AADD

This repository holds the Affine Arithmetic Decision Diagrams library
C++
5
star
2

VP-Lecture

Material from Lecture "Virtual Prototyping"
C++
1
star
3

k-moc

A simple modeling/simulation tool in kotlin for demonstration purpose.
Kotlin
1
star
4

VP

Virtual Prototypes of Automotive Applications
C++
1
star