WeightGen is hashing-based approximate weighted sampling for weighted CNF formulas. Given a set of constraints and weight function over assignments, WeightGen outputs samples that satisfy constraints according to weight function.
Meel Group
Department of Computer Science
Welcome to the Meel Group’s web page. We are situated at the University of Toronto.