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
Meel Group
Computer Science Department, School of Computing

Welcome to the Meel Group’s web page. We are situated at National University of Singapore.