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.
Array smtlib compliance tests
Merge pull request #14 from kbansal/sets-parserchanges

Sets parserchanges
adds incremental for strings; clean-up codes
Merge branch 'master' of github.com:tiliang/CVC4