GitHub repository: nips-sharpsat/model_counting
Primary language: Python
Description: This is an anonymized repository for Neurips 2020 submission "Learning Branching Heuristics for PropositionalModel Counting"