blob: fd11c0591e7d51c5b7af2cc5fd85c91a2dfe570b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
DEFINED_PHASES=configure
DEPEND=dev-libs/antlr-c dev-libs/boost cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )
DESCRIPTION=automatic theorem prover for satisfiability modulo theories (SMT) problems
EAPI=6
HOMEPAGE=http://cvc4.cs.stanford.edu/web/
IUSE=+cln
KEYWORDS=~amd64 ~x86
LICENSE=GPL-2
RDEPEND=dev-libs/antlr-c dev-libs/boost cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )
SLOT=0
SRC_URI=http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
_md5_=0fa497641b0052ef7c0db817d8289196
|
GitWeb
