cvc4 1.4-5

Architecture: i686
Repository: Community
Description: An automatic theorem prover
Upstream URL:
License(s): BSD, GPL, MIT, custom:HPND
Maintainers: Orphan
Package Size: 3.3 MB
Installed Size: 12.3 MB
Last Packager: Bartłomiej Piotrowski <bpiotrowski@archlinux.org>
Build Date: 2016-11-06 22:17 UTC
Signed By: Unknown (0x487328A9)
Signature Date: 2016-11-06 22:26 UTC
Last Updated: 2017-05-14 07:17 UTC

Dependencies (4)

Required By (0)