Ioannis Filippidis

Nancy, France

dd-python

Analyzed about 13 hours ago

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

20.2K lines of code

1 current contributors

over 1 year since last commit

0 users on Open Hub

Very Low Activity

I Use This

Licenses: BSD-3-Clause