keycount

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.