python-constraint~=1.4.0
pytest>=3.4.2
pytest_cov>=2.5.1
z3-solver>=4.8.12.0
