#
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
Jun 23, 2026 - Go
Improve this page
Add a description, image, and links to the obdd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the obdd topic, visit your repo's landing page and select "manage topics."