Ioannis Filippidis

Nancy, France

dd-python

Analyzed 3 days ago

Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD and BuDDy

20.2K lines of code

1 current contributors

12 months since last commit

0 users on Open Hub

Very Low Activity

I Use This

Licenses: BSD-3-Clause