dealing with incompleteness issues in duality
speeding up Generalize and adding Lazy Propagation
optimizing solver performance in duality
added qe_lite preprocessing pass to duality
remove assert on failed label compuation in duality
speeding up interpolation in RPFP_caching
runs the integer/cntrol svcomp examples from the Horn repo
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
fix a few warnings