fixed compile-time error in metaSMT-server due to ambiguity (occuring e.g. with GCC 4.4.7)
implemented SMT-LIB2 attributes in order to parse nary commands
adapted maximum input line length to 65535 for all smt2input_evaluators
replaced boost::lexical_casts with boost::spirit::qi-parsers
implemented nary predtags::and_tag and pretags::or_tag in Z3_Backend
implemented nary predtags::and_tag and predtags::or_tag in STP
implemented a binary version of SMT-LIB2 command distinct(.)
SMT2 only push before check-sat if there is at least one assumption
DirectSolver_Context additionally operates on vectors of expressions (support for nary-commands)
reimplemented UTreeEvaluator using a compile-time Command mapping
included missing headers
fixed utree namespace in SMT2Parser
introduced mapping from solver name to solver type
create solver from solver name
SMT-LIB2 compatible version of metaSMT-server
add missing include
removed output from CheckSat command
updated evaluate command to parse results from CheckSat and GetValue commands
smt2Input_evaluator reads strings of unlimited length and does not wait for an command ``(exit)''
fixed newline suffix in Connection::write(.)