counting

Crane

A weighted model counter for first-order logic

NPAQ

NPAQ: Neural Property Approximate Quantifier

GANAK

GANAK: A Scalable Probabilistic Exact Model Counter