cvc5
Source code: https://github.com/cvc5/cvc5
pip install cvc5 --index-url https://pypi.riseproject.dev/simple/
License: Unknown
Download files: cvc5-v1.4.1-20260927204116
Patch applied for this version: https://github.com/riseproject-dev/python-wheels/tree/main/patches/cvc5/1.4.1
pip install cvc5==1.4.0 --index-url https://pypi.riseproject.dev/simple/
License: Unknown
Download files: cvc5-v1.4.0-20260927204324
Patch applied for this version: https://github.com/riseproject-dev/python-wheels/tree/main/patches/cvc5/1.4.0
pip install cvc5==1.3.4 --index-url https://pypi.riseproject.dev/simple/
License: Unknown
Download files: cvc5-v1.3.4-20260925223921
Patch applied for this version: https://github.com/riseproject-dev/python-wheels/tree/main/patches/cvc5/1.3.4