Group: Tum In

Sort: popular | newest

1. JBDD

de.tum.in » jbddGPL

Pure Java implementation of (Binary) Decision Diagrams

Last Release on Aug 20, 2019

2. Naturals Utilities

de.tum.in » naturals-utilGPL

Datastructures and utility classes for non-negative integers

Last Release on Sep 15, 2022

3. Tum In ASE

Group Tum In ASE