Tobias Meggendorfer incaseoftrouble

Pinned Loading

1. Efficient pure Java implementation of (Binary) Decision Diagrams

   Java 6 2

2. Datastructures and utility classes specialized for dealing with non-negative integers.

   Java