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_=9d9dce446d3c17959a26e76252e8fbee