RAIL-wrapped version of the DNF algorithm - View it on GitHub