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
bugfix for python 2.6
duality fix
Compilation fix.

gcc 4.3.2 (on debian 5) did not like the definitions of gcd and abs in class rational, so I moved them outside of the class.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
interpolation fix
interpolation fix (add simplify_cong)
removed dependency of bvsls on goal_refs

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
duality fix