Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report.
Merging in additional glpk options and statistics from CAV submission.
Merge remote-tracking branch 'timothy-king/master'
Minor updates/fix to --cbqi-recurse
Fix a bug in the IndexOf function.
Fix a bug in the IndexOf function.
Merge branch 'master' of github.com:tiliang/CVC4
Add lazy strategy for bounded integers to avoid non-terminating unsat cases.  Add regressions.
Reject un-escaped extended ASCII characters
Reject native extended ASCII characters. It requires user to use escaped sequence for an extended ASCII character.
Finish --dump-instantiations option.  Update scripts.
Minor fixes.  Add SMTCOMP 2014 script.
minor improvements (fixes) to did-you-mean suggestions
sets: fix a bug in model building, another in handling set of sets
lfsc_checker: fix some warnings reported by _both_ gcc and clang
Merge pull request #26 from kbansal/sets

Sets
minor fix for string equality engine assertion.
Fixing documentation for glpk configuration.
More documentation fixes. Apologies for multiple commits.
Fix compiler warning (missing virtual dtor)