Skillget

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

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • 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 Gecti
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

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.

Yorumlar (0)

Sonuc bulunamadi