SMTApproxMC is an approximate model counter for Bitvector theory. 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.