GitHub repository: lan496/pyzdd
Primary language: C++
Description: Python wrapper to TdZdd