smt-lib syntax change: str.contain -> str.contains; add some prefix syntax for cvc format
for merging
smt-lib syntax change: str.contain -> str.contains; add some prefix syntax for cvc format
for merging
add a new file
Merge branch 'master' of github.com:tiliang/CVC4