Kompyle, a python library providing an interface to several d-DNNF knowledge compilers. - View it on GitHub