Remove math/cvc3, it was succeeded by CVC4 and CVC5
Reported by: yuri
Description
Description
Details
Details
- Provenance
lwhsu Authored on Jan 5 2023, 8:12 AM - Parents
- R11:92f87aeb1767: textproc/py-agate: update to 1.7.1
- Branches
- Unknown
- Tags
Remove math/cvc3, it was succeeded by CVC4 and CVC5 Tags None Referenced Files None Subscribers None |