Projects with this topic
Sort by:
-
An OCaml library implementing ZDDs (Zero-suppressed Binary Decision Diagrams), upward-closed set families, and downward-closed set families
Updated
Exceptional GitLab maintenance is scheduled for September 18, 2025. The service will be unavailable between 5:00 and 7:00 pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
An OCaml library implementing ZDDs (Zero-suppressed Binary Decision Diagrams), upward-closed set families, and downward-closed set families