GitHub repository: meelgroup/deweight
Primary language: C++
Description: A tool to reduce discrete integration to unweighted model counting.