type conversion
type conversion
Merge branch 'master' of github.com:tiliang/CVC4
Fix strings preprocessing for justification heuristic
Fix for strings-exp: enable quantifiers
add str2int