Project Group: de.tum.in

naturals-util

de.tum.in : naturals-util

Datastructures and utility classes for non-negative integers

Last Version: 0.17.1

Release Date: 02-May-2022

de.tum.in : jbdd

Pure Java implementation of (Binary) Decision Diagrams

Last Version: 0.5.2

Release Date: 19-Aug-2019