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 June 19, 2025. The service will be unavailable between 12am and 2pm. 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