Optimizations for datatypes theory.  There seems to be a bug in trans_closure, currently implemented a work around.
More improvements to datatypes, eager selector collapsing, improved collect model info. Also fix bug in model post-processor.
adds native regexp.
adds native regexp.
Merge branch 'master' of github.com:tiliang/CVC4
Minor bug fix to datatypes.
add constant membership
adds native regexp.
add constant membership
Merge branch 'master' of github.com:tiliang/CVC4
Adds regular expression support, it is actually CFL because of variables.
Adds Regular Expression support.
add another regexp test
bug fix: string cache cleaning
removes some junks
performance optimizations for quantifier instantiation
bug fix in strings : change from assert to  alwaysassert
performance optimizations for quantifier instantiation
removes some junks
bug fix in strings : change from assert to  alwaysassert