An exact weighted model counter based on algebraic decision diagrams
Primary LanguageC++MIT LicenseMIT