bug fix: strings preprocess for the orignal term, causing unknown in some cases
smt-lib syntax change: str.contain -> str.contains; add some prefix syntax for cvc format
Add options --full-saturate-quant and --mbqi=trust.  Other minor changes.
Fix quotes in string constants.
New translation work, support Z3-str-style string constraints.
Minor code clean up in parser.
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
bug fix (caused by merge), move cardinality option to expert option
sorry for the missing file
Bug fix for QCF algorithm, was missing instantiations.  Make prop-eq the default QCF setting.  Bug fix to prevent non-ground terms from entering relevant domains.
--stats-every-query option: print increment in addition to cumulative value of each stat

the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
Merge pull request #11 from kbansal/improve-stats-every-query

--stats-every-query option: print increment in addition to cumulative va...