added support for dumping the SAT problem the sat solver is working on
started work on bv1 to boolean lifting
more work on boolean lifting
finished implementing bv to bool lifting and added --bv-to-bool option
uncompiling new bv to bool lifting
fixed compile error
innd examples are solved fast, but destruction assertion fail
Merge branch 'master' of https://github.com/CVC4/CVC4
added some bv rewrite rules
added bvule, bvsle operator elimination rulesl; added bvurem lemma generation
Some fixes for GCC 4.2, and for Java on Mac
Adding has bound counts and tracking for rows.
add decision_attributes.h for make dist
added several rewrite rules (BitwiseSlicing, Ule/SleEliminate, ExtractSignExtend) and bvurem lemma
Add option in quantifiers for clause splitting
updated the author name
added support for dumping the SAT problem the sat solver is working on
started work on bv1 to boolean lifting
more work on boolean lifting
finished implementing bv to bool lifting and added --bv-to-bool option