cvc4 1.7-1.0

Architecture: i686
Repository: i686/community
Description: An automatic theorem prover
Upstream URL:
License(s): GPL, BSD, MIT, custom:HPND
Package Size: 5391.65 kB
Installed Size: 23198.96 kB
Build Date: 2020-03-13 16:11:44
Last Updated: 2020-04-16 21:16:13

Dependencies (37)

Required By (5)