Links for z3-solver-crosshair
z3_solver_crosshair-4.8.8.0-py2.py3-none-manylinux1_armv7l.whl