Links for cvc4-solver
cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl