#
obdd
Here are 2 public repositories matching this topic...
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
Jul 22, 2026 - Go
Add this topic to your repo
To associate your repository with the obdd topic, visit your repo's landing page and select "manage topics."