fixed bug in duality logging
working on duality and quantified arithmetic in interpolation
working on duality
exception message clarity fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
added mbqi.id option, working on quantifiers in duality
enabled extensional arrays in duality and added theory axioms lazily in GreedyReduce
fixed interpolation bug
simplifying quantified interpolants in duality
still simplifying quantified interpolants in duality
fix for broken windows stl
still trying to get stl to work
fussing with qe in duality
fussing more with qe in duality
trying to fix address depedency in duality_solver.cpp
trying to figure out address dependency
fixed some address dependencies
porting to linux
fix is_all_int bug

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
removing address dependencies
fixed memory error