GitHub repository: vardigroup/ADDMC
Primary language: C++
Created: 2020-05-17T02:56:38Z
Description: An exact weighted model counter based on algebraic decision diagrams