Add missing .NET API functions for parsing rules into fixedpoint object

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Bugfix for Python 3
bugfix for Python 3

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
feat(ast/ast_smt_pp): display quantifier QID when printing proofs, feature requested by Dan Rosen

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
FPA unified function names
FPA fixed omissions reported by user xor88 (codeplex discussion 554193)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Added git hashcode information to (get-info :version)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
added operator[] to obj_map for convenience

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into predabst
loop abstract inference

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>