GitHub repository: meelgroup/KCBox
Primary language: C++
Description: A toolbox for knowledge compilation