EDT, CDT, and FDT implemented in Python, with some famous decision problems as test cases - View it on GitHub