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
Run $ contrib/new-theory fp
Populate the kinds file.
Skeleton implementations of the classes needed by the constant kinds.
Fix glaring syntax error.
Add the helper classes for parametric sorts.
Fix some of the compilation bugs.
A few more compilation fixes.
Create a derived class the data for each of the parameterized operators.
Fixes to get the code to compile with the new kinds.
Implement the rest of the type checking rules.
Separate some utility functions so that better error handling can be provided.
Implement floating-point theory rewriter and changes to makefiles to include the new files in the build.