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
added several rewrite rules (BitwiseSlicing, Ule/SleEliminate, ExtractSignExtend) and bvurem lemma
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
uncompiling new bv to bool lifting
fixed compile error
innd examples are solved fast, but destruction assertion fail
added some bv rewrite rules