requirements.txt

graphviz==0.8
ply==3.10
py==1.4.34
-e git+git@github.com:ianno/pycolite-dev.git@e4674604fb09cf70f543f0538f405384216d7b0e#egg=pycolite
pytest==3.1.3
pytest-timeout==1.2.0
z3-solver==4.5.1.0.post2