CVC4/CVC4 — pull request #8 by tiliang (2013-03-26 17:58:39+00:00)
Title: fix a bug in RR; add the framework for string

fix a bug in RR; add the framework for string