Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
[email protected] low health (62/100) — consider alternatives
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/pypi/ddLast updated · 2024-12-01T14:03:54.019824Z