зеркало из https://github.com/microsoft/ivy.git
12 строки
347 B
Plaintext
12 строки
347 B
Plaintext
Ivy needs:
|
|
|
|
python 2.7
|
|
IPython 3.2
|
|
ply (python lex yacc)
|
|
Z3 python interface (import z3 should work)
|
|
pygraphviz 1.3.1 (which requires graphviz)
|
|
|
|
symbolic link (linux) or directory junction (windows) from ~/.ipython/nbextensions/ivy to ivy2/ivy
|
|
|
|
On windows, the best way to get IPython and ply is to install Anaconda: http://continuum.io/downloads
|