Source code of SMC, the first string model counter. The paper of this work is going to appear in PLDI 2014.