GitHub repository: silentbicycle/lua-bdd
Primary language: Lua
Description: Binary decision diagram library (Lua)