PyRank

Dimacs Python Packages

Python packages with the GitHub topic dimacs. Sorted by relevance, with stars and monthly downloads.
meelgroup
pycmsgen

CMSGen, a fast weighted uniform-like sampler

2K 12 3
QuMuLab
nnf

Manipulate NNF (Negation Normal Form) logical sentences

869 20 9