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
filter fresh constants from models

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
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
patch bounds normalization bug found by dvitek

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix bug reported by Nuno Lopes when query gets sliced

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
parse also bit-vector constants with set-info. Reported by David Cok

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
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>