CONTRIBUTORS.md

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