GitHub repository: meelgroup/KUS
Primary language: Python
Description: A Knowledge Compilation-based Uniform Sampler