a new regular expression engine for solving both positive and negative membership constraints
minor clean-up, bring back derivatives
add re.nostr for the empty regular expression; add re.allchar for the regular expresssion containing all charactors
a new regular expression engine for solving both positive and negative membership constraints
minor clean-up, bring back derivatives
add re.nostr for the empty regular expression; add re.allchar for the regular expresssion containing all charactors
Merge branch 'master' of github.com:tiliang/CVC4
More useful error message when someone tries mkExpr(VARIABLE).
Don't theory-preprocess under quantifiers; but DO theory-preprocess lemmas (resolves bug #548).
Guard java-specific swig code with SWIGJAVA.

Without this building just the python bindings will fail.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Improving support for POW in arithmetic. Resolves bug 549.
Don't tokenize SET_THEORY operators in smt2 parser
Revert "fix naming conflicts in benchmarks"

This reverts commit 4cac1b63f76a0a973a015ea6f8e21ad31d84d971.