#6 Added CONTRIBUTORS.md file.

dhendriks · dhendriks · commit dc8d46e698a2 · 2021-10-28T22:12:01.000+02:00
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -0,0 +1,11 @@
+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
