interpolation fixes
two interpolation fixes
new hastable implementation for interp/duality
interpolation fixes
use new hashtable implementation in windows
interpolation fix
duality fix plus mbqi option
adding support for non-extensional arrays in duality
duality: eager deduction and history-based conjectures
merged changes from linux
interpolation fix
duality: added restarts
duality fixes
duality fix
interpolation fix
interpolation fix (add simplify_cong)
duality fix
merge interp/duality changes with unstable