Package Details: cvc4-git 1.5.r189.g382813c77-1

Git Clone URL: https://aur.archlinux.org/cvc4-git.git (read-only)
Package Base: cvc4-git
Description: An automatic theorem prover for SMT problems.
Upstream URL: http://cvc4.cs.nyu.edu/web/
Licenses: BSD
Conflicts: cvc4
Provides: cvc4
Submitter: spaceships
Maintainer: spaceships
Last Packager: spaceships
Votes: 2
Popularity: 0.001170
First Submitted: 2015-11-08 20:40
Last Updated: 2017-10-18 17:06

Required by (3)

Sources (1)

Latest Comments

spaceships commented on 2017-10-18 17:05

@derektbrown: fixed, thanks

derektbrown commented on 2017-10-18 15:03

Also requires automake as a dependency