fix bug exposed by example by Robert White

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix compilation warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt
add 'distinct' to C++ API

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Merge branch 'unstable' of https://git01.codeplex.com/z3 into opt
adding C++ API for optimization

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
C++ API

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>