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
Computer Science Department, School of Computing
Welcome to the Meel Group’s web page. We are situated at National University of Singapore.