math/py-pysmt: Test dependency changed to CVC5
The project so far doesn't support CVC5.
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 4 2023, 11:30 AM - Parents
- R11:410c0280b73b: lang/maude: CVC4 is broken because project doesn't yet support CVC5
- Branches
- Unknown
- Tags