GitHub repository: malb/bdd-predicate
Primary language: Python
Description: Solving BDD and uSVP with predicate