ydotlai

Pinned Repositories

• KCBox

  A toolbox for knowledge compilation

  Language:C++215

• approxmc

  Approximate Model Counter

  Language:C++7026

• arjun

  CNF minimizer and minimal independent set calculator

  Language:C++141

• PBCounter

  Weighted Model Counting on Pseudo-Boolean Constraints.

  Language:C++80

• kcbox-project.github.io

  Language:HTML00

ydotlai's Repositories