cvc4 1.7-1.0

Architecture: pentium4
Repository: pentium4/community
Description: An automatic theorem prover
Upstream URL:
License(s): GPL, BSD, MIT, custom:HPND
Package Size: 5410.73 kB
Installed Size: 23230.85 kB
Build Date: 2020-03-22 13:33:24
Last Updated: 2020-04-16 21:09:18

Dependencies (37)

Required By (4)