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

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