Links for yices-solver
yices_solver-2.6.4.post23-py3-none-macosx_13_0_x86_64.whl
yices_solver-2.6.4.post23-py3-none-macosx_14_0_arm64.whl
yices_solver-2.6.4.post23-py3-none-manylinux_2_28_x86_64.whl
yices_solver-2.6.4.post23-py3-none-win_amd64.whl
yices_solver-2.6.5.post24-py3-none-macosx_13_0_x86_64.whl
yices_solver-2.6.5.post24-py3-none-macosx_14_0_arm64.whl
yices_solver-2.6.5.post24-py3-none-manylinux_2_28_x86_64.whl
yices_solver-2.6.5.post24-py3-none-win_amd64.whl