Skillget

genpark-binary-decision-diagram-bdd-canonicity-skill

mcp
Security Audit
Warn
Health Warn
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 7 GitHub stars
Code Pass
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Pass
  • Permissions — No dangerous permissions requested

No AI report is available for this listing yet.

SUMMARY

Reduced Ordered Binary Decision Diagram (ROBDD) engine with Shannon expansion and canonical ITE synthesis

README.md

ROBDD Canonical Decision Diagram Skill

Reduced Ordered Binary Decision Diagram (ROBDD) engine featuring hash-consed unique tables and the ITE operator.

flowchart TD
    Var["Variable Order (x1 < x2 < x3)"] --> Table["Unique Table & Computed Cache"]
    Table --> ITE["Shannon ITE Expansion: f = v*f1 + ~v*f0"]
    ITE --> Canonicity["Canonical Node Identification"]
    Canonicity --> Equiv["O(1) Formal Equivalence Verification"]

Features

  • 100% Python Standard Library: Pure memoized recursive data structure.
  • Canonical Representation: Equivalence checking reduces to pointer/ID equality.
  • Complete Boolean Algebra: AND, OR, NOT, XOR, and ITE operations.

Reviews (0)

No results found