Группа библиотек: de.tum.in

naturals-util

de.tum.in : naturals-util

Datastructures and utility classes for non-negative integers

Последняя версия: 0.17.1

Дата: 2 мая 2022 г.

de.tum.in : jbdd

Pure Java implementation of (Binary) Decision Diagrams

Последняя версия: 0.5.2

Дата: 19 авг. 2019 г.