Zero-allocation Binary Decision Diagrams (OBDD) for Go — full Buddy parity with off-heap memory, level indirection, distinct types, and modal logic integration.
golang bdd binary-decision-diagrams arm64 formal-verification off-heap modal-logic boolean-logic zero-allocation sat-solving obdd symbolic-model-checking gobdd buddylib xdarkicex
-
Updated
Jun 23, 2026 - Go