Implementation of the Structure Learning Algorithm for Sentential Decision Diagrams - View it on GitHub