These are based on interfaces from PolyML to the CMU libbdd package and the BuDDy BDD package.
libbdd
BuDDy