optimize for the reverse direction
Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry approach.  Minor change to quantifier macros.  Add option --quant-cf-mode.
rev const split
rev diseq
optimize for the reverse direction
rev const split
rev diseq
Merge branch 'master' of github.com:tiliang/CVC4
fix: indexof, replace rewriting
minor fix, indexof rewriter opt
replace charat uf with internal one
More optimization of QCF.  Fixed InstMatchTrie for caching instantiations.  Use non-context dependent cache for instantiations when not incremental.  Instantiate from relevant domain when no other instantiations apply.  Minor cleanup of relevance for triggers.
More optimization of QCF and instantiation caching.  Fix CDInstMatchTrie.
URL update
Merge branch '1.3.x'
More optimizations of quantifier instantiation data structures.
merge internal and user of charat & substr into one
add prefixof, suffixof
roll back to uf implementation for substr and charat
adds stats