loiluu/smc

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Source code of SMC, the first string model counter. The paper of this work appears in PLDI 2014.

peacerelay