GitHub repository: vardigroup/DPMC
Primary language: C++
Created: 2020-07-17T14:18:24Z
Description: DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting