Notes: Partly based on BuDDy by Jørn Lind-Nielsen. Forked from Sourceforge's JavaBDD by John Whaley. Contributors for com.github.javabdd: Dennis Hendriks Konstantinos Triantafyllidis Martijn Goorden Sander Thuijsman Sean Mills Wytse Oortwijn