# Pip-installable runtime dependencies for lambda.
# Keep this list aligned with [project.dependencies] in pyproject.toml.
# MathSAT5 and ic3ia are required native dependencies but are not on PyPI:
# obtain released upstream packages and build their Python bindings. See
# README.md for installation.

z3-solver==5.1.0
ply==3.11
