# Development only. Runtime composition must not import this solver.
z3-solver==4.13.3.0
