The BuDDy OBDD package. http://www.bdd-portal.org/buddy.html (0)

by J Lind-Nielsen