fixed bug in duality logging
working on duality and quantified arithmetic in interpolation
working on duality
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
removing address dependencies
fixed memory error
fixing templates for broken windows hash functions
fixing templates for broken windows hash functions