Links for yices
yices-1.1.3-py3-none-any.whl
yices-1.1.4-py3-none-any.whl
yices-1.1.5-py3-none-any.whl