13 lines
704 B
Groff
13 lines
704 B
Groff
DEFINED_PHASES=compile configure install postinst postrm prepare test
|
|
DEPEND=>=dev-libs/gmp-5[static-libs?] doc? ( app-doc/doxygen media-gfx/graphviz ) emacs? ( virtual/emacs ) isabelle? ( >=sci-mathematics/isabelle-2011.1-r1 )
|
|
DESCRIPTION=CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
|
|
EAPI=4
|
|
HOMEPAGE=http://www.cs.nyu.edu/acsys/cvc3/index.html
|
|
IUSE=doc emacs isabelle static-libs zchaff
|
|
KEYWORDS=~x86 ~amd64
|
|
LICENSE=BSD MIT as-is zchaff? ( zchaff )
|
|
RESTRICT=mirror zchaff? ( bindist )
|
|
SLOT=0
|
|
SRC_URI=http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.gz
|
|
_eclasses_=elisp-common 5785babccf9fc9be868981620c7940d3
|
|
_md5_=2ee0b46003310d02ff2a1ce5e4f7fb1f
|