Installing z3 on eclipse (pydev)

Question

Having trouble getting z3 to work on pydev.

After downloading z3, I went to eclipse windows > Preferences > PyDev > Interpreters > Python Interpreters and then added "z3/bin" to the library

Running Python 2.7.11 and z3 32-bit

When i try to run simple code

from z3 import*  

x = Int('x')
y = Int('y')

print simplify(x + y + 2*x + 3)

Get error

NameError: name 'Int' is not defined

Answer 1

Try adding z3 to the forced builtins as described in the PyDev manual:

http://www.pydev.org/manual_101_interpreter.html

(ie: possibly that information is dynamically given, which means you have to ask PyDev to use a shell to dynamically compute it to you -- otherwise, by default PyDev will only try to statically analyze the code).